Media type: E-Article Title: FM 2005: Formal Methods: Formal Methods and Testing: Hypotheses, and Correctness Approximations Contributor: Gaudel, Marie-Claude Published: Springer Berlin Heidelberg, 2005 Published in: FM 2005: Formal Methods (2005), Seite 2-8 Language: Not determined DOI: 10.1007/11526841_2 ISBN: 9783540278825; 9783540317142 ISSN: 0302-9743; 1611-3349 Origination: Footnote: