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. : FATES/RV 2006 workshop : Aug 2006, Seattle, WA.
もっともっと探す
+もっと
詳しい情報
出版社: Springer(c2006.)
ISBN-10: 3540496998 ISBN-13: 9783540496991