Languages
D'Souza, Deepak.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
D'Souza, Deepak.; Lal, Akash.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(Electronic resources)
Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings /
by:
ATVA (Symposium) (2017 :); 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.
Computation by Abstract Devices.
Automatic theorem proving
Computing Milieux.
Programming Languages, Compilers, Interpreters.
Computer software- Verification
Computer Science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.