Kevin J. Sullivan, John Socha, Mark Marchukov
Using Formal Methods to Reason about Architectural Standards
ICSE, 1997.
@inproceedings{ICSE-1997-SullivanSM,
author = "Kevin J. Sullivan and John Socha and Mark Marchukov",
booktitle = "{Proceedings of the 19th International Conference on Software Engineering}",
doi = "10.1145/253228.253433",
editor = "W. Richards Adrion and Alfonso Fuggetta and Richard N. Taylor and Anthony I. Wasserman",
isbn = "0-89791-914-9",
pages = "503--513",
publisher = "{ACM}",
title = "{Using Formal Methods to Reason about Architectural Standards}",
year = 1997,
}