Languages
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)
Subjects
Software Engineering.
Mathematical logic.
Computer logic.
Computer Communication Networks.
Automatic theorem proving
Software engineering.
Computing Milieux.
Theory of Computation.
Computers.
Software engineering
Computing Methodologies.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software
Computation by Abstract Devices.
Computer communication systems.
Artificial intelligence