Languages
Cimatti, Alessandro.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2017 :); Cimatti, Alessandro.; Sirjani, Marjan.; SpringerLink (Online service)
(Electronic resources)
Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
International Workshop on Formal Methods for Industrial Critical Systems (2023 :); Cimatti, Alessandro.; Titolo, Laura.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Theory of Computation.
Computer and Information Systems Applications.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Engineering and Networks.
Artificial Intelligence.
Computer Science.
System Performance and Evaluation.
Compilers and Interpreters.