Languages
Sen, Koushik.
Overview
Works: | 1 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:
SpringerLink (Online service); Khurshid, Sarfraz.; Congress on Progress and Controversies in Oncological Urology (2000:); Sen, Koushik.
(Electronic resources)
Subjects
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software- Verification