author : Marianne Simonot

Short works

• Deriving Software Specifications from Event Based Models. 2000. (In ZB 2000 )