Author/Creator: FMICS (Conference), 25th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator FMICS (Conference), 25th

1. Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings /: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. (2020)

Other Names:: Beek, Maurice H. ter; Ničković, Dejan; FMICS (Conference), 25th
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗