home
>
book reviews
> Andrew M. Gravell
Google >
Andrew M. Gravell
author : Andrew M. Gravell
Short works
Refinement Semantics and Loop Rules. 1999.
(In
FM'99 volume 2
)
Extraction of Abstraction Invariants for Data Refinement. 2002.
(In
ZB 2002
)