Working Group on Formal Methods for Industrial Critical Systems



Special issue of "Science of Computer Programming"

A special issue of the Elsevier Journal on Science of Computer Programming is forthcoming. Edited by Jorge Cuellar, Stefania Gnesi, and Diego Latella, this special issue is dedicated to the application of formal methods in the industry and contains contributions from members of the ERCIM FMICS Working Group.



Science of Computer Programming

An Elsevier Journal

Table of Contents
Vol. 36, Issue 1, January 2000

Special Issue on the Application of Formal Methods in Industrial Critical Systems
Jorge Cuellar, Stefania Gnesi, and Diego Latella (editors)


Back to the ERCIM FMICS Home Page