Immutable specifications for more concise and precise verification

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 ◽

10.1145/2048066.2048096 ◽

2011 ◽

Author(s):

Cristina David ◽

Wei-Ngan Chin

Download Full-text