home
>
book reviews
> Albert L. Baker
Google >
Albert L. Baker
author : Albert L. Baker
Short works
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. 1999.
(In
FM'99 volume 2
)