Media type: E-Article Title: Verified Software: Theories, Tools, Experiments: Trends and Challenges in Algorithmic Software Verification Contributor: Alur, Rajeev imprint: Springer Berlin Heidelberg, 2008 Published in: Verified Software: Theories, Tools, Experiments Language: Not determined DOI: 10.1007/978-3-540-69149-5_26 ISSN: 0302-9743; 1611-3349 Origination: Footnote: