author : M. M. Larrondo-Petrie

Short works

• A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. 1995. (In ZUM '95 )