Media type: E-Book; Conference Proceedings Title: Proceedings of the 2005 conference on Specification and verification of component-based systems Contributor: Leavens, Gary T. [Author] Corporation: Association for Computing Machinery ; ACM Special Interest Group on Software Engineering Published: New York, NY: ACM, 2005 Published in: ACM Digital Library ACM Conferences Extent: Online-Ressource (1 online resource (95 pages)) Language: English DOI: 10.1145/1123058 ISBN: 1595933719 Identifier: Keywords: Computer science ; Software ; Computing Milieux ; Software development process management ; Formal software verification ; Program verification ; Konferenzschrift Reproduction series: Association for Computing Machinery-Digital Library Origination: Footnote: Title from The ACM Digital Library