author : Klaus Achatz

Short works

• A Formal OO Method inspired by Fusion and Object-Z. 1997. (In ZUM '97 )