Languages
Khurshid, Sarfraz.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
Khurshid, Sarfraz.; Sen, Koushik.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Computer software- Verification
Computer Science.