Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
|Published:||Cham : Springer, 2014.|
|Series:||Lecture notes in computer science ;
LNCS sublibrary. SL 2, Programming and software engineering.
|Online Access:||Available to SAIC students, faculty and staff |
No Tags, Be the first to tag this record!