1. 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) ↗
2. 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) ↗
3. 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) ↗
4. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016) Editors: Falcone, Yliès; Sánchez, César Other Names: RV (Conference), 16th Record Type: Book Extent: 1 online resource (xxi, 512 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 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) ↗
6. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2014 /: selected contributions from FDL 2014. (2016) Editors: Oppenheimer, Frank; Pasaje, Julio Luis Medina Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /: 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings. (2016) Editors: Aichernig, Bernhard K, 1969-; Furia, Carlo A, 1979- Other Names: TAP (Conference), 10th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /: formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. (2016) Editors: Beek, Maurice H. ter; Gnesi, Stefania, 1954-; Knapp, Alexander, 1971- Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 21st; International Workshop on Automated Verification of Critical Systems, 16th Record Type: Book Extent: 1 online resource (xvi, 247 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Computer aided verification. 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings /: 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. Part II : (2016) Editors: Chaudhuri, Swarat; Farzan, Azadeh Other Names: CAV (Conference), 28th Record Type: Book Extent: 1 online resource (xvii, 521 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Computer aided verification. 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings /: 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. Part I : (2016) Editors: Chaudhuri, Swarat; Farzan, Azadeh Other Names: CAV (Conference), 28th Record Type: Book Extent: 1 online resource (xvii, 541 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗