Using Formal Methods to Reason about Architectural Standards.

Wed, 01 Jan 1997 00:00:00 +0100

Kevin J. Sullivan, John Socha, Mark Marchukov:
Using Formal Methods to Reason about Architectural Standards. ICSE 1997: 503-513