Languages
Chakraborty, Supratik.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Verified Software. Theories, Tools, and Experiments = 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers /
by:
Chakraborty, Supratik.; SpringerLink (Online service); Navas, Jorge A.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings /
by:
SpringerLink (Online service); Mukund, Madhavan.; Chakraborty, Supratik.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Special Purpose and Application-Based Systems.
Automatic theorem proving
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Computer system failures.
Computers.
The Computing Profession.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Special purpose computers.
Artificial intelligence