Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings

Responsibility
Manuel Núñez, Matthias Güdemann (eds.).
Digital
text file
PDF
Publication
Cham : Springer, 2015.
Physical description
1 online resource (xvi, 213 pages) : illustrations
Series
Lecture notes in computer science ; 9128. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.

Browse related items

Start at call number:
Librarian view | Catkey: 11131185