Junhua Ding, Lian Mo, Xudong He
An approach for specification construction using property-preserving refinement patterns
SAC, 2008.
@inproceedings{SAC-2008-DingMH,
author = "Junhua Ding and Lian Mo and Xudong He",
booktitle = "{Proceedings of the 23rd Symposium on Applied Computing}",
doi = "10.1145/1363686.1363869",
editor = "Roger L. Wainwright and Hisham Haddad",
isbn = "978-1-59593-753-7",
pages = "797--803",
publisher = "{ACM}",
title = "{An approach for specification construction using property-preserving refinement patterns}",
year = 2008,
}