David Aspinall 0001
Proof General: A Generic Tool for Proof Development
TACAS, 2000.
@inproceedings{TACAS-2000-Aspinall, author = "David Aspinall 0001", booktitle = "{Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/3-540-46419-0_3", isbn = "3-540-67282-6", pages = "38--42", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Proof General: A Generic Tool for Proof Development}", volume = 1785, year = 2000, }