home
>
book reviews
> Ian MacColl
Google >
Ian MacColl
author : Ian MacColl
Short works
Formal Derivation of Finite State Machines for Class Testing. 1998.
(In
ZUM '98
)