Languages
Merz, Stephan.
Overview
| Works: | 5 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Temporal Logic and State Systems
by:
Merz, Stephan.; SpringerLink (Online service); Kroger, Fred.
(Language materials, printed)
Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
Blanchette, Jasmin Christian.; Merz, Stephan.; SpringerLink (Online service)
(Electronic resources)
Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
Mery, Dominique.; Merz, Stephan.; SpringerLink (Online service)
(Language materials, printed)
Formal methods and software engineering = 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings /
by:
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.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
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.