Languages
Cassez, Franck.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated technology for verification and analysis = 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : proceedings /
by:
Cassez, Franck.; Raskin, Jean-Francois.; SpringerLink (Online service)
(Electronic resources)
Modeling and verification of parallel processes = 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures /
by:
Cassez, Franck.; SpringerLink (Online service); MOVEP 2000 ((2000 :)
(Language materials, printed)
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.