Junhua Ding, Lian Mo, Xudong He. An approach for specification construction using property-preserving refinement patterns. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 797-803, ACM, 2008. [doi]
Abstract is missing.