author : Jason McDonald

Short works

• Formal Derivation of Finite State Machines for Class Testing. 1998. (In ZUM '98 )