Languages
Blanchette, Jasmin Christian.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
Blanchette, Jasmin Christian.; Merz, Stephan.; SpringerLink (Online service)
(Electronic resources)
Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
Blanchette, Jasmin Christian.; Kosmatov, Nikolai.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Automatic theorem proving
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Computer software- Verification
Computer Science.
Simulation and Modeling.
System Performance and Evaluation.