Runtime verification : first international conference : proceedings, RV, St. Julians, Malta, Nov. 1-4, 2010 (e-book)
Runtime verification : first international conference : proceedings, RV, St. Julians, Malta, Nov. 1-4, 2010 (e-book)
- Berlin Springer 2010
- Lecture Notes in Computer Science (LNCS) v.6418 LNCS Sublibrary : SL 2 – Programming and Software Engineering .
978-3-642-16612-9
Computer science and engineering
Computer programs--Verification--Congresses
Formal methods (Computer science)--Congresses
Computer programs--Testing--Congresses
978-3-642-16612-9
Computer science and engineering
Computer programs--Verification--Congresses
Formal methods (Computer science)--Congresses
Computer programs--Testing--Congresses