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

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