DMCA

Formal Derivation of Finite State Machines for Class Testing (1998)

Cached

Download Links

by Leesa Murray , David Carrington , Ian MacColl , Jason McDonald , Paul Strooper
Venue:ZUM'98: THE Z FORMAL SPECIFICATION NOTATION
Citations:16 - 7 self