Languages
Fantechi, Alessandro.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Formal methods for industrial critical systems = 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
by:
Fantechi, Alessandro.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Cofer, Darren.
(Electronic resources)
Subjects
Software Engineering.
Formal methods (Computer science)
Computer programs- Reliability
Software engineering
Computer Science.
Special Purpose and Application-Based Systems.
Computer programs- Verification
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Computer software- Verification
Computer software- Reliability