Languages
Cassez, Franck.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated technology for verification and analysis12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : proceedings /
by:
(1998 :); Cassez, Franck.; Raskin, Jean-Francois.; SpringerLink (Online service)
(Electronic resources)
Modeling and verification of parallel processes4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures /
by:
(1998 :); Cassez, Franck.; SpringerLink (Online service)
(Electronic resources)
Subjects
Artificial intelligence
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Automatic theorem proving
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Computer Science.
Computer Communication Networks.