[ACM Press the ACM international conference companion - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11 - A HIP and SLEEK verification system
Chin, Wei-Ngan, David, Cristina, Gherghina, CristianYear:
2011
Language:
english
DOI:
10.1145/2048147.2048152
File:
PDF, 291 KB
english, 2011