Languages
Blazy, Sandrine.
Overview
Works: | 0 works in 3 publications in 1 languages |
---|
Titles
Interactive theorem proving = 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings /
by:
Paulin-Mohring, Christine.; Blazy, Sandrine.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Pichardie, David.
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
by:
Blazy, Sandrine.; SpringerLink (Online service); Chechik, Marsha.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
Jensen, Thomas.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Blazy, Sandrine.
(Language materials, printed)
Static Analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
by:
SpringerLink (Online service); Blazy, Sandrine.; Jensen, Thomas.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
Blazy, Sandrine.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Chechik, Marsha.
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Automatic theorem proving
Software engineering.
Logic, Symbolic and mathematical
Software engineering
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Computer programming
Compilers (Computer programs)
Programming languages (Electronic computers).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.