31. Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. (2015) Editors: Calinescu, Radu C, 1968-; Rumpe, Bernhard Other Names: International Conference on Software Engineering and Formal Methods, 13th Record Type: Book Extent: 1 online resource (xi, 369 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. 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) ↗
33. Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /: 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings. (2016) Editors: Fiems, Dieter; Paolieri, Marco; Platis, Agapios N Other Names: EPEW (Workshop), 13th Record Type: Book Extent: 1 online resource (xviii, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings /: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings. (2016) Editors: Fränzle, Martin; Markey, Nicolas, 1976- Other Names: FORMATS (Conference), 14th Record Type: Book Extent: 1 online resource (xii, 245 pages), illustrations (chiefly color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. The handbook of formal methods in human-computer interaction. (2017) Editors: Weyers, Benjamin; Bowen, Judy (Judith Alyson); Dix, Alan; Palanque, Philippe, 1966- Record Type: Book Extent: 1 online resource (xiv, 575 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /: foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. (2016) Editors: Ribeiro, Leila; Lecomte, Thierry Other Names: Brazilian Symposium on Formal Methods, 19th Record Type: Book Extent: 1 online resource (x, 253 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings. (2017) Editors: Pighizzini, Giovanni; Câmpeanu, Cezar Other Names: DCFS (Workshop), 19th Record Type: Book Extent: 1 online resource (x, 311 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers /: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers. (2018) Editors: (Lecturer in Computer Science), Black, Elizabeth; Modgil, Sanjay; Oren, Nir Other Names: TAFA (Workshop), 4th Record Type: Book Extent: 1 online resource (x, 227 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. 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) ↗
40. Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. (2017) Editors: Duan, Zhenhua; Ong, Luke Other Names: International Conference on Formal Engineering Methods, 19th Record Type: Book Extent: 1 online resource (xvii, 498 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗