Reasoning about Composition: A Predicate Transformer Approach (2001)

by Michael Charpentier
Citations:2 - 2 self