Michael W. Whalen
Up and out: scaling formal analysis using model-based development and architecture modeling
HILT, 2013.
@inproceedings{HILT-2013-Whalen, author = "Michael W. Whalen", booktitle = "{Proceedings of the ACM SIGAda Annual Conference on High Integrity Language Technology}", doi = "10.1145/2527269.2527293", isbn = "978-1-4503-2467-0", pages = "41--42", publisher = "{ACM}", title = "{Up and out: scaling formal analysis using model-based development and architecture modeling}", year = 2013, }