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 J.F. Groote, S.P. Luttik and J.J. van Wamel, this special issue presents selected papers from the Third FMICS workshop (CWI, Amsterdam, The Netherlands, 1998).



Formal Aspects of Computing

A Springer-Verlag Journal

Table of Contents
Volume 10, Nr. 5-6, 1998

Special Issue on FMICS'98
J.F. Groote, S.P. Luttik, J.J. van Wamel (editors)


Back to the ERCIM FMICS Home Page