author = { Desai, Bipin C. Association for Computing Machinery },

title = { Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering },

publisher = {ACM},

isbn = {9781450310840},

keywords = { Computer science , Software , Computing Methodologies , Information Systems , Computer Applications , Theory of Computation , Formal methods , Software architectures , Formal software verification , Konferenzschrift },

year = {2012},

abstract = {Title from The ACM Digital Library},

booktitle = {ACM Digital Library},

booktitle = {ACM Other conferences},

address = { New York, NY },

url = { http://slubdd.de/katalog?TN_libero_mab2 }