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 BibTeX
Copyright © Sat May 16 23:12:35 2009
by Michael Ley (ley@uni-trier.de)