Collaborative Runtime Verification with Tracematches.

Saved in:

Bibliographic Details
Title:	Collaborative Runtime Verification with Tracematches.
Authors:	Bodden, Eric, Hendren, Laurie, Lam, Patrick
Source:	Journal of Logic & Computation; June 2010, Vol. 20 Issue 3, p707-723, 17p
Database:	Applied Science & Technology Source

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exn077