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. Springer 2008 Lecture Notes in Computer Science 4949 ISBN 978-3-540-78916-1 [ contents ]



