Colombo, Christian.
Overview
Works: | 2 works in 2 publications in 1 languages |
---|
Titles
Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(1998 :); Colombo, Christian.; Leucker, Martin.; SpringerLink (Online service)
(Electronic resources)
Runtime verificationa hands-on approach in Java /
by:
Colombo, Christian.; Pace, Gordon J.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Mathematics of Computing.
Computer software
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
The Computing Profession.
System Performance and Evaluation.