Kurt Lichtner, Paulo S. C. Alencar, Donald D. Cowan. A Framework for Software Architecture Verification. In 12th Australian Software Engineering Conference (ASWEC 2000), 28-30 April 2000, Canberra, Australia. pages 149-158, IEEE Computer Society, 2000. [doi]
Abstract is missing.