1.
Formal Approaches to Software Testing 5th International Workshop, Fates 2005, Edinburgh, Uk,...
by Grieskamp, Wolfgang, Weise,...
ISBN: 9783540344544
List Price: $58.00
2.
Integrated Formal Methods Second International Conference, Ifm 2000, Dagstuhl Castle, German...
by Grieskamp, Wolfgang, Santen...
ISBN: 9783540411963
List Price: $89.95