Author/Creator: ISoLA (Symposium), 7th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator ISoLA (Symposium), 7th

1. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. discussion, dissemination, applications : Part II, (2016)

Editors:: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard
Other Names:: ISoLA (Symposium), 7th
Record Type:: Book
Extent:: 1 online resource (xxiv, 866 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Foundational techniques : Part I, (2016)

Editors:: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard
Other Names:: ISoLA (Symposium), 7th
Record Type:: Book
Extent:: 1 online resource (xxiii, 974 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗