Languages
D'Souza, Deepak.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Verification, model checking, and abstract interpretation16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(1998 :); D'Souza, Deepak.; Lal, Akash.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(Electronic resources)
Automated technology for verification and analysis15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings /
by:
(1998 :); D'Souza, Deepak.; Narayan Kumar, K.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial intelligence
Theory of Computation.
Computing Methodologies.
Logics and Meanings of Programs.
Computer software
Computation by Abstract Devices.
Automatic theorem proving
Computing Milieux.
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.