357 books found
by IEEE High-Assurance Systems Engineering Workshop (1st 1996 Ontario, Canada), IEEE Computer Society
by IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (4th 1984 Skytop Lodge, Pa.), Yechiam Yemini
by TC2 Working IFIP Conference on Software Architecture (2nd 2001 Amsterdam, Netherlands), Working IEEE
by ISOOMS '94 (1994 Palermo, Italy), Italy) Isooms 9 (1994 Palermo
by International Symposium of Formal Methods Europe (4th 1997 Graz, Austria), C. B. Jones
by International Conference on Algebraic Methodology and Software Technology (4th 1995 Montréal, Québec), Vangalur S. Alagar