Working Group on Formal Methods for Industrial Critical Systems

Special issue of "Formal Methods in System Design"

A special issue (Vol.12 n. 2) of the International Journal on Formal Methods in Systems Design, by Kluwer Academic Publishers, was published in 1998.

Edited by Stefania Gnesi and Diego Latella, this special issue is dedicated to the First FMICS workshop (Oxford, March 1996), from which papers have been selected.

Formal Methods in System Design

An International Journal

Table of Contents
Volume 12, Issue 2, March 1998

Back to the ERCIM FMICS Home Page