Formal Approaches to Software Testing and Runtime Verification: Revised Selected Papers/First Combined International Workshops FATES 2006 and RV 2006, Seattle,WA,USA,August 2006

Б2.2, Б3.54.

Formal Approaches to Software Testing and Runtime Verification: Revised Selected Papers/First Combined International Workshops FATES 2006 and RV 2006, Seattle,WA,USA,August 2006Ed. by Havelung K., Nunes M., Rosu G., Wolff B..-Berlin, Heidelberg.: Springer, 2006.-Vol. 4262.-255 p.-(Lecture Notes in Computer Science).