Gerwin Klein
Proof Engineering Considered Essential
FM, 2014.
@inproceedings{FM-2014-Klein, author = "Gerwin Klein", booktitle = "{Proceedings of the 19th International Symposium of Formal Methods}", doi = "10.1007/978-3-319-06410-9_2", isbn = "978-3-319-06409-3", pages = "16--21", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Proof Engineering Considered Essential}", volume = 8442, year = 2014, }