author : Marielle Doche

Short works

• Extraction of Abstraction Invariants for Data Refinement. 2002. (In ZB 2002 )