dblp.uni-trier.de www.uni-trier.de

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 BibTeX

Copyright © Sat May 16 23:12:34 2009 by Michael Ley (ley@uni-trier.de)