1. Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday /: essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. (2017) Editors: Aceto, Luca; Bacci, Giorgio; (Computer scientist), Bacci, Giovanni; Legay, Axel; Mardare, Radu; Anna Ingólfsdóttir, 1952- Other Names: Larsen, K. G (Kim G.) 1957- honouree. Record Type: Book Extent: 1 online resource (662 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /: 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. (2016) Editors: Bošnački, Dragan, 1963-; Wijs, Anton Other Names: International SPIN Workshop, 23rd; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xvi, 245 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Software engineering : specification, implementation, verification /: specification, implementation, verification. (2017) Authors: Alagić, Suad, 1946- Record Type: Book Extent: 1 online resource (xv, 178 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Embedded software verification and debugging. (2017) Editors: Lettnin, Djones; Winterholer, Markus Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. E-Voting and identity : 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings /: 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings. (2015) Editors: Haenni, Rolf; Koenig, Reto E; Wikström, Douglas Other Names: Vote-ID (Conference), 5th Record Type: Book Extent: 1 online resource (ix, 173 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II : (2015) Editors: Kroening, Daniel; Păsăreanu, Corina S Other Names: CAV (Conference), 27th Record Type: Book Extent: 1 online resource (xviii, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I : (2015) Editors: Kroening, Daniel; Păsăreanu, Corina S Other Names: CAV (Conference), 27th Record Type: Book Extent: 1 online resource (xxiii, 677 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 /: selected contributions from FDL 2015. (2016) Editors: Drechsler, Rolf; Wille, Robert Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource (viii, 193 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Provably correct systems. (2017) Editors: Hinchey, Michael G (Michael Gerard), 1969-; Bowen, J. P (Jonathan Peter), 1956-; Olderog, E.-R Record Type: Book Extent: 1 online resource (xviii, 328 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. 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) ↗