Bouajjani, Ahmed books & textbook
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th ... (Programming and Software Engineering)
Bouajjani, Ahmed Silva, Alexandra
Springer /2017-05-28 Paperback / 257 Pages
isbn-10: 3319602241 / isbn-13: 9783319602240
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings (Theoretical Computer Science and General Issues)
Bouajjani, Ahmed Monniaux, David
Springer /2017-01-12 Paperback / 577 Pages
isbn-10: 3319522337 / isbn-13: 9783319522333
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture Notes in Computer Science, 6252)
Bouajjani, Ahmed Chin, Wei-Ngan
Springer /2010-09-03 Paperback / 412 Pages
isbn-10: 3642156428 / isbn-13: 9783642156427
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in Computer Science, 5643)
Springer /2009-06-19 Paperback / 737 Pages
isbn-10: 3642026575 / isbn-13: 9783642026577
Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers (Lecture Notes in Computer Science, 9466)
Bouajjani, Ahmed Fauconnier, Hugues
Springer /2016-03-24 Paperback / 554 Pages
isbn-10: 331926849X / isbn-13: 9783319268491
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings (Lecture Notes in Computer Science)
Bouajjani, Ahmed Holík, Lukáš Wu, Zhilin
Springer /2022-10-23 Paperback / 456 Pages
isbn-10: 303119991X / isbn-13: 9783031199912
