21. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part II : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xx, 545 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2013 /: selected contributions from FDL 2013. ([2015]) Editors: Louërat, Marie-Minerve; Maehne, Torsten Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource (xxxiv, 305 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. 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) ↗
24. 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) ↗
25. 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) ↗
26. 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) ↗
27. 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) ↗
28. Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. (2017) Editors: Bouajjani, Ahmed; Monniaux, David Other Names: VMCAI (Conference), 18th Record Type: Book Extent: 1 online resource (xvii, 560 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Boldo, Sylvie Other Names: NSV (Workshop), 10th Record Type: Book Extent: 1 online resource (xxi, 115 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. (2017) Editors: Lahiri, Shuvendu; Reger, Giles Other Names: RV (Conference), 17th Record Type: Book Extent: 1 online resource (xix, 432 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗