Cover Image
Saved in:

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /

Bibliographic Details
Corporate Authors: International Workshop on Formal Methods for Industrial Critical Systems Florence, Italy), SpringerLink (Online service)
Other Authors: Lang, Frédéric (Editor), Flammini, Francesco (Editor)
Format: Online Conference Proceeding Book
Language:English
Published: Cham : Springer, 2014.
Series:Lecture notes in computer science ; 8718.
LNCS sublibrary. Programming and software engineering.
Subjects:
Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!