21. Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. (2017) Editors: Polikarpova, Nadia; Schneider, S. A (Steve A.) Other Names: International Conference on Integrated Formal Methods, 13th Record Type: Book Extent: 1 online resource (xxi, 438 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Johnsen, Einar Broch; Schaefer, Ina Other Names: International Conference on Software Engineering and Formal Methods, 16th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 303 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Formal techniques for distributed objects, components, and systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings /: 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings. (2018) Editors: Baier, Christel; Caires, Luís Other Names: FORTE (Conference), 38th; International Federated Conferences on Distributed Computing Techniques, 13th, jointly held conference Record Type: Book Extent: 1 online resource (xi, 197 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings. (2018) Editors: Konstantinidis, Stavros; Pighizzini, Giovanni Other Names: DCFS (Workshop), 20th Record Type: Book Extent: 1 online resource (xiv, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. 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) ↗
26. Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers /: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers. ([2015]) Editors: Lanese, Ivan; Madelaine, Eric Other Names: FACS (Symposium), 11th Record Type: Book Extent: 1 online resource (x, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers. ([2015]) Editors: Canal, Carlos; Idani, Akram Other Names: International Conference on Software Engineering and Formal Methods, 12th; Workshop on Human-Oriented Formal Methods -- from Readability to Automation, 1st; SAFOME (Workshop), 1st; OpenCert (Workshop), 8th; MoKMaSD (Workshop), 3rd; WS-FMDS (Workshop), 4th Record Type: Book Extent: 1 online resource (xxvii, 405 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015) Editors: Bernardo, Marco; Johnsen, Einar Broch Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th Record Type: Book Extent: 1 online resource (vii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. 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) ↗
30. Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures /: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures. (2016) Editors: Bernardo, Marco; De Nicola, Rocco; Hillston, J (Jane), 1963- Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 16th Record Type: Book Extent: 1 online resource (vii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗