Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
An Eclipse Plug-in for Model Checking
IWPC, 2004.
@inproceedings{IWPC-2004-BeyerHJM, author = "Dirk Beyer and Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar", booktitle = "{Proceedings of the 12th International Workshop on Program Comprehension}", doi = "10.1109/WPC.2004.1311069", isbn = "0-7695-2149-5", pages = "251--255", publisher = "{IEEE Computer Society}", title = "{An Eclipse Plug-in for Model Checking}", year = 2004, }