Media type: E-Book; Conference Proceedings Title: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering Contributor: Desai, Bipin C. [Author] Corporation: Association for Computing Machinery imprint: New York, NY: ACM, 2012 Published in: ACM Digital Library ACM Other conferences Extent: Online-Ressource (1 online resource (139 pages)) Language: English DOI: 10.1145/2347583 ISBN: 9781450310840 Identifier: Keywords: Computer science ; Software ; Computing Methodologies ; Information Systems ; Computer Applications ; Theory of Computation ; Formal methods ; Software architectures ; Formal software verification ; Konferenzschrift Reproductino series: Association for Computing Machinery-Digital Library Origination: Footnote: Title from The ACM Digital Library