Cimatti, Alessandro.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Formal methods for industrial critical systems28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
(1998 :); Cimatti, Alessandro.; SpringerLink (Online service); Titolo, Laura.
(Electronic resources)
Software engineering and formal methods15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
(1998 :); Cimatti, Alessandro.; Sirjani, Marjan.; SpringerLink (Online service)
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201215th International Conference, Trento, Italy, June 17-20, 2012 : proceedings /
by:
(1998 :); Cimatti, Alessandro.; Sebastiani, Roberto.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software engineering
Software Engineering.
Theory of Computation.
Computer algorithms
Logics and Meanings of Programs.
Computer and Information Systems Applications.
Computer software
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Engineering and Networks.
Information and Communication, Circuits.
Artificial Intelligence.
Computer Science.
System Performance and Evaluation.
Compilers and Interpreters.