Lunjin Lu
Use of correctness assertions in declarative diagnosis
SAC, 2005.
@inproceedings{SAC-2005-Lu, author = "Lunjin Lu", booktitle = "{Proceedings of the 20th Symposium on Applied Computing}", doi = "10.1145/1066677.1066995", editor = "Hisham Haddad and Lorie M. Liebrock and Andrea Omicini and Roger L. Wainwright", isbn = "1-58113-964-0", pages = "1404--1408", publisher = "{ACM}", title = "{Use of correctness assertions in declarative diagnosis}", year = 2005, }