Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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

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


Book Informaton

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

Author

Klaus Havelund; Manuel Núñez; Grigore Roşu; Burkhart Wolff

Series

Lecture Notes in Computer Science

Volume

4262

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540496991, 9783540497035

ARI Id

1674219884524


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 18 of 18 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-19
20-39
40-54
55-69
70-84
85-99
100-114
115-132
133-147
148-162
163-177
178-192
193-208
209-224
225-239
240-253
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 18 of 18 entries