Languages
Leucker, Martin.
Overview
| Works: | 0 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Formal methods in outer space = essays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
Bartocci, Ezio.; Leucker, Martin.; SpringerLink (Online service); Falcone, Ylies.; Havelund, Klaus, (1955-); ISoLA (Symposium) (2021 :)
(Electronic resources)
Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
Leucker, Martin.; SpringerLink (Online service)
(Electronic resources)
Theoretical aspects of computing - ICTAC 2015 = 12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
Leucker, Martin.; Rueda, Camilo.; Valencia, Frank D.; SpringerLink (Online service)
(Electronic resources)
Formal methods = 25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings /
by:
Chechik, Marsha.; Leucker, Martin.; SpringerLink (Online service); Katoen, Joost-Pieter.; International Symposium of Formal Methods Europe (2023 :)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Computer logic.
Theory of Computation.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Programming Language.
Algorithm Analysis and Problem Complexity.
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Engineering and Networks.
Performance and Reliability.
Computer science
Artificial Intelligence.
Computer software- Verification
Computer Science.
System Performance and Evaluation.
Computer science.