Languages
Blazy, Sandrine.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
Blazy, Sandrine.; Jensen, Thomas.; SpringerLink (Online service)
(Electronic resources)
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.; VSTTE (Conference) (2016 :)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Compilers (Computer programs)
Computer software- Quality control
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer software- Verification