Immutable specifications for more concise and precise verification.

Cristina David, Wei-Ngan Chin

Browse the full OOPSLA paper archive.