Title

FMICS '99, Fourth International ERCIM Workshop on Formal Methods for Industrial Critical Systems

Title Supplement

Trento (Italy) July 11-12 1999

Person Involved

Corporate Author

European Research Consortium for Informatics and Mathematics -ERCIM-

Publishing Place

Trento

Publication Date

1999

Conference