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 /

Show other versions (2)

Saved in:

Bibliographic Details
Corporate Author:	RV (Workshop) Vancouver, B.C.)
Other Authors:	Sokolsky, Oleg, Tasiran, Serdar
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, c2007
Series:	LNCS sublibrary Programming and software engineering Lecture notes in computer science, 4839 LNCS sublibrary Programming and software engineering. Lecture notes in computer science ; 4839
Subjects:	Computer software > Testing > Congresses Computer software > Verification > Congresses Formal methods (Computer science) > Congresses Computer software > Testing Computer software > Verification Formal methods (Computer science) Conference papers and proceedings
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.9.F67.R9 2007

Duke University

Holdings details from Duke University
Call Number:	QA75.5 .L438 v.4839

Cornell University

Holdings details from Cornell University
Call Number:	QA76.9.F67 R9 2007