A theory for the derivation of tests (1988)

by E Brinksma
Venue:In: Protocol Specification Testing and Verification VIII, North-Holland