Languages
Jump To : Overview | Titles | Subjects

D'Souza, Deepak.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); D'Souza, Deepak.; Narayan Kumar, K.; SpringerLink (Online service) (Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings / by: D'Souza, Deepak.; Larsen, Kim Guldstrand.; SpringerLink (Online service); Lal, Akash. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: D'Souza, Deepak.; Workshop on the Preservation of Stability under Discretization ((2001 :); Larsen, Kim Guldstrand.; SpringerLink (Online service); Lal, Akash. (Language materials, printed)
 
 
Change password
Login