Pei He, Lishan Kang, Daochang Huang. Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations. In Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu, editors, Advances in Computation and Intelligence, 4th International Symposium, ISICA 2009, Huangshi, China, Ocotober 23-25, 2009, Proceedings. Volume 5821 of Lecture Notes in Computer Science, pages 228-237, Springer, 2009. [doi]
Abstract is missing.