Languages
Finkel, Alain.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
Finkel, Alain.; Leroux, Jerome.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification = 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
by:
Berry, Gerard.; Comon, Hubert.; Finkel, Alain.; SpringerLink (Online service); CAV (Conference) (2001 :)
(Language materials, printed)
Subjects
Integrated circuits- Verification
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer systems- Verification
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer science- Mathematics
Programming Languages, Compilers, Interpreters.
Computer software- Verification
Decidability (Mathematical logic)
Computer Science.