FM 2016 Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / Fitzgerald, John.

Author/creator Fitzgerald, John
Other author Heitmeyer, Constance.
Other author Gnesi, Stefania.
Format Electronic
Publication Info[S.l.] : Springer International Publishing,
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2016 English International

General noteTitle from content provider.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available