Sriram K. Rajamani
Automatic Property Checking for Software: Past, Present and Future
SEFM, 2006.
@inproceedings{SEFM-2006-Rajamani, author = "Sriram K. Rajamani", booktitle = "{Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods}", doi = "10.1109/SEFM.2006.10", isbn = "0-7695-2678-0", pages = "18--20", publisher = "{IEEE Computer Society}", title = "{Automatic Property Checking for Software: Past, Present and Future}", year = 2006, }