Languages
Jump To : Overview | Titles | Subjects

Bouajjani, Ahmed.

Overview
Works: 0 works in 4 publications in 1 languages
Titles
Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings / by: VMCAI (Conference) (2017 :); Bouajjani, Ahmed.; Monniaux, David.; SpringerLink (Online service) (Electronic resources)
Automated technology for verification and analysis = 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022 : proceedings / by: Bouajjani, Ahmed.; SpringerLink (Online service); Wu, Zhilin.; ATVA (Symposium) (2022 :); Holík, Lukas. (Electronic resources)
Automated technology for verification and analysis = 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings / by: Bouajjani, Ahmed.; Chin, Wei-Ngan.; SpringerLink (Online service) (Language materials, printed)
Networked systems = third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers / by: Bouajjani, Ahmed.; Fauconnier, Hugues.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login