Gerard J. Holzmann
Software Analysis and Model Checking
CAV, 2002.
@inproceedings{CAV-2002-Holzmann, author = "Gerard J. Holzmann", booktitle = "{Proceedings of the 14th International Conference on Computer Aided Verification}", doi = "10.1007/3-540-45657-0_1", isbn = "3-540-43997-8", pages = "1--16", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Software Analysis and Model Checking}", volume = 2404, year = 2002, }