Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie
PtYasm: Software Model Checking with Proof Templates
ASE, 2008.
@inproceedings{ASE-2008-HartKGCL08a,
author = "Thomas E. Hart and Kelvin Ku and Arie Gurfinkel and Marsha Chechik and David Lie",
booktitle = "{Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2008.80",
pages = "479--480",
publisher = "{IEEE}",
title = "{PtYasm: Software Model Checking with Proof Templates}",
year = 2008,
}