Using Formal Methods to Reason about Architectural Standards.

Kevin J. Sullivan, John Socha, Mark Marchukov

Browse the full ICSE paper archive.