Número de Cutter-SanbornH384fEntrada «Havel» → 384 · marca de obra “f”

Formal Approaches to Software Testing and Runtime Verification

Name: Formal Approaches to Software Testing and Runtime Verification
ISBN: 9783540497035

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Autor	Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

Formal Approaches to Software Testing and Runtime Verification (2006) — ISBN 9783540497035 | Cutter Number