Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers /

Bibliographic Details
Corporate Authors: FATES/RV 2006 Seattle, Wash., SpringerLink (Online service)
Other Authors: Havelund, Klaus
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, 2006.
Series:Lecture notes in computer science ; 4262.
Subjects:
Online Access:Connect to the full text of this electronic book
Publisher description