1. ModelEd, testEd, trustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday /: essays dedicated to Ed Brinksma on the occasion of his 60th birthday. ([2017]) Editors: Katoen, Joost-Pieter; Langerak, Rom (Romanus), 1961-; Rensink, Arend Record Type: Book Extent: 1 online resource (XII, 391 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal concept analysis of social networks. (2017) Editors: Missaoui, R; Kuznetsov, Sergei O; Obiedkov, Sergei Record Type: Book Extent: 1 online resource (195 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal concept analysis : 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings /: 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings. (2017) Editors: Bertet, Karell; Borchmann, Daniel; Cellier, Peggy; Ferré, Sébastien Other Names: International Conference on Formal Concept Analysis, 14th Record Type: Book Extent: 1 online resource (xviii, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /: 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings. (2017) Editors: Cimatti, Alessandro; Sirjani, Marjan Other Names: International Conference on Software Engineering and Formal Methods, 15th Record Type: Book Extent: 1 online resource (xix, 410 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers /: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers. (2017) Editors: James, Phillip (Phillip D.); Roggenbach, Markus Other Names: WADT (Workshop), 23rd Record Type: Book Extent: 1 online resource (x, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /: formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. (2017) Editors: Petrucci, Laure; Seceleanu, Cristina; Cavalcanti, Ana Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 22nd; International Workshop on Automated Verification of Critical Systems, 17th Record Type: Book Extent: 1 online resource (xiv, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /: 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. (2017) Editors: Bouajjani, Ahmed; Silva, Alexandra Other Names: FORTE (Conference), 37th; International Federated Conferences on Distributed Computing Techniques, 12th, jointly held conference Record Type: Book Extent: 1 online resource (xiv, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. 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) ↗
9. 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) ↗
10. 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) ↗