home
>
book reviews
> David A. Naumann
Google >
David A. Naumann
author : David A. Naumann
Short works
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. 1999.
(In
FM'99 volume 2
)