Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications
FSE, 1996.
@inproceedings{FSE-1996-AndersonBBCMNR,
author = "Richard J. Anderson and Paul Beame and Steve Burns and William Chan and Francesmary Modugno and David Notkin and Jon Damon Reese",
booktitle = "{Proceedings of the Fourth Symposium on Foundations of Software Engineering}",
doi = "10.1145/239098.239127",
editor = "David Garlan",
pages = "156--166",
publisher = "{ACM}",
title = "{Model Checking Large Software Specifications}",
year = 1996,
}