Reasoning about Composition: A Predicate Transformer Approach (2001)

by Michel Charpentier
Venue:In Speci and Veri of Component-Based Systems (SAVCBS'2001
Citations:2 - 2 self