Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /

Bibliographic Details
Corporate Authors:	RV (Workshop) Vancouver, B.C.), SpringerLink (Online service)
Other Authors:	Sokolsky, Oleg, Tasiran, Serdar
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2007]
Series:	LNCS sublibrary. Programming and software engineering. Lecture notes in computer science. 4839.
Subjects:	Aspect-oriented programming > Congresses. Computer software > Testing > Congresses. Computer software > Verification > Congresses. Formal methods (Computer science) > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online