Andrews, J.D. "TOWARDS AN M-EVES-BASED FORMAL METHOD FOR M-VERDI/ADA PROCESS NETWORKS" Andyne Computing Ltd, Kingston ONT (CAN) 01 Sep 1992

(1992)

Languages mentioned