Title

Formal methods and testing. An outcome of the FORTEST network. Revised selected papers

Person Involved
Publisher
Publishing Place
Berlin
Publication Date
2008
Series
Lecture Notes in Computer Science; 4949
ISBN
3-540-78916-2
978-3-540-78916-1