Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations. - Pei He; Lishan Kang; Daochang Huang (ISICA, 2009)