Media type: E-Article Title: Verification is experimentation! Contributor: Brinksma, Ed imprint: Springer Science and Business Media LLC, 2001 Published in: International Journal on Software Tools for Technology Transfer Language: English DOI: 10.1007/s100090100050 ISSN: 1433-2779 Keywords: Information Systems ; Software Origination: Footnote: