A theory for the derivation of tests (1988)

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