[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Immutable specifications for more concise and precise verification
David, Cristina, Chin, Wei-NganYear:
2011
Language:
english
DOI:
10.1145/2048066.2048096
File:
PDF, 454 KB
english, 2011