Formal Methods for Industrial Critical Systems
Gwen Sala�n, Bernhard Sch�tz
Formal Methods for Industrial Critical Systems - 2011
978-3-642-24431-5
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Special Purpose and Application-Based Systems
Programming Languages, Compilers, Interpreters
Computer Science
Formal Methods for Industrial Critical Systems - 2011
978-3-642-24431-5
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Special Purpose and Application-Based Systems
Programming Languages, Compilers, Interpreters
Computer Science