Runtime Verification
Barringer, Howard
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings [electronic resource] edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore RoΕu, Oleg Sokolsky, Nikolai Tillmann - Berlin, Heidelberg Springer Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6418 0302-9743 .
9783642166129
Computer science
Software engineering
Computer software
Logic design
Computer Science
Software Engineering
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Techniques
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings [electronic resource] edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore RoΕu, Oleg Sokolsky, Nikolai Tillmann - Berlin, Heidelberg Springer Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6418 0302-9743 .
9783642166129
Computer science
Software engineering
Computer software
Logic design
Computer Science
Software Engineering
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Techniques
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages