Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software ... Notes in Computer Science (4949), Band 4949)
von
Robert M. Hierons
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-78916-1
ISBN-10: 3-540-78916-2
Springer
· 2008