Working Group on Formal Methods for Industrial Critical Systems

Special issue of "Formal Aspects of Computing"

A special issue of the Springer-Verlag Journal on Formal Aspects of Computing was published in 1998. Edited by Stefania Gnesi and Diego Latella, this special issue presents selected papers from the Second FMICS workshop (Cesena, Italy, 1998).

Formal Aspects of Computing

A Springer-Verlag Journal

Table of Contents
Volume 10, Nr. 4, 1998

Special Issue on FMICS'97
Stefania Gnesi and Diego Latella (editors)

Back to the ERCIM FMICS Home Page