home
>
book reviews
> Marielle Doche
Google >
Marielle Doche
author : Marielle Doche
Short works
Extraction of Abstraction Invariants for Data Refinement. 2002.
(In
ZB 2002
)