Runtime verification 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
Runtime verification 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / [electronic resource] :
RV 2007
Oleg Sokolsky, Serdar Tasiran (eds.).
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- viii, 213 p. : ill., digital.
- Lecture notes in computer science, 4839 0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering .
Includes bibliographical references and index.
9783540773955 (electronic bk.)
Formal methods (Computer science)--Congresses.
Computer software--Verification--Congresses.
Computer software--Testing--Congresses.
Aspect-oriented programming--Congresses.
Computer Science.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Software Engineering.
004.24
Includes bibliographical references and index.
9783540773955 (electronic bk.)
Formal methods (Computer science)--Congresses.
Computer software--Verification--Congresses.
Computer software--Testing--Congresses.
Aspect-oriented programming--Congresses.
Computer Science.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Software Engineering.
004.24