Predicate Transformer Semantics of a Higher Order Imperative Language With . . . (1998)

by David A. Naumann
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:22 - 9 self