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

Saved in:
Corporate Author: International Workshop on Formal Methods for Industrial Critical Systems Florence, Italy)
Other Authors: Lang, Frédéric, (Editor)
Flammini, Francesco,
Format: Book Electronic
Published:Cham : Springer, 2014.
Series:Lecture notes in computer science ; 8718.
LNCS sublibrary. SL 2, Programming and software engineering.
Online Access:SpringerLink Available to Wheaton College users only
Tags: Add Tag
No Tags, Be the first to tag this record!

Wheaton College

Location: E-Books

Call Number: INTERNET
Copy 1
Online Access:SpringerLink Available to Wheaton College users only