FORTEST Network
Formal Methods and Testing 2008
Robert M. Hierons, Jonathan P. Bowen, Mark Harman (Eds.):
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers.
Lecture Notes in Computer Science 4949 Springer 2008, ISBN 978-3-540-78916-1
Contents 
Copyright © Mon Dec 21 19:39:27 2009
by Michael Ley (ley@uni-trier.de)
