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

Internet

Connect to the full text of this electronic book
Publisher description

Available Online

Holdings details from Available Online
Call Number: QA76.9.F67 F524 2006eb
 
Call Number Status Get It
QA76.9.F67 F524 2006eb Available