Cover Image

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 /

Show other versions (1)
Bibliographic Details
Corporate Author: FATES/RV 2006 Seattle, Wash.
Other Authors: Havelund, Klaus
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 2006.
Series:Lecture notes in computer science ; 4262.
Subjects:
Software testing
Runtime verification
FATES
RV
Formal methods (Computer science) > Congresses.
Computer software > Testing > Congresses.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.F67 F52 2006
 
Call Number Status Get It
QA76.9.F67 F52 2006 Available