Reasoning about composition: A predicate transformer approach (2001)

by Michel Charpentier
Venue:In Specification and Verification of Component-Based Systems (SAVCBS’2001