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
m-Verdi
{1988}