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) ↗
3. Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Verification : Part II, (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xv, 588 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Leveraging applications of formal methods, verification and validation. distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xiv, 522 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Leveraging applications of formal methods, verification and validation. Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part IV : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xiv, 530 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Leveraging applications of formal methods, verification and validation. modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part I : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xv, 588 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗