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 Bouajjani Ahmed Heftet / 2017 / Engelsk
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings Bouajjani Ahmed Heftet / 2009 / Engelsk
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings Bouajjani Ahmed Heftet / 2017 / Engelsk
Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers Bouajjani Ahmed Heftet / 2016 / Engelsk
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings Bouajjani Ahmed Heftet / 2010 / Engelsk
Automated Technology for Verification and Analysis 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings Bouajjani Ahmed Heftet / 2022 / Engelsk
