Pitt, David H. Freestone, David

The Derivation of Con Formance Tests from Lotos Specifications - 1337-1343 p.


Lotos
Canonical Trans Form
CoInformation