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.
Computer Science.
Programming Techniques.
Computer programming.
Computer programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Logic, Symbolic and mathematical
Software engineering
Programming Languages, Compilers, Interpreters.
Compilers (Computer programs)
Programming languages (Electronic computers).
Computer software