Working Group on Formal Methods for Industrial Critical Systems

Special issue of "Formal Methods in System Design"

A special issue of the International Journal on Formal Methods in Systems Design, by Kluwer Academic Publishers, was published.

Edited by Stefania Gnesi and Diego Latella, this special issue is dedicated to the Fourth FMICS workshop (Trento, July 1999), from which papers have been selected.

Formal Methods in System Design

An International Journal

Table of Contents
Volume 19, Issue 2, September 2001

Back to the ERCIM FMICS Home Page