Verifying architectural specifications (2001)

by P Hoffman
Venue:15th Workshop on Algebraic Development Techniques, LNCS