author : Nestor Lopez

Short works

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