Title: Runtime verification
First published: 2008
Subjects: Formal methods (Computer science), Testing, Congresses, Verification, Computer software, Computer science, Computer software, verification
LC classification: QA76.9.F67 R8 2008