Login / Signup

Ada-based abstract machine specification of CAIS to generate validation tests.

Timothy E. LindquistJeffrey L. Facemire
Published in: WADAS (1985)
Keyphrases