Languages
Merz, Stephan.
Overview
Works: | 21 works in 2 publications in 1 languages |
---|
Titles
Integrated formal methods8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
(1998 :); Mery, Dominique.; Merz, Stephan.; SpringerLink (Online service)
(Electronic resources)
Interactive theorem proving7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
(1998 :); Blanchette, Jasmin Christian.; Merz, Stephan.; SpringerLink (Online service)
(Electronic resources)
Temporal Logic and State Systems
by:
Kroger, Fred.; Merz, Stephan.; SpringerLink (Online service)
(Electronic resources)
Formal methods and software engineering16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings /
by:
(1998 :); Merz, Stephan.; Pang, Jun.; SpringerLink (Online service)
(Electronic resources)
Subjects
Time.
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Automatic theorem proving
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
System design
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Simulation and Modeling.