A HIP and SLEEK verification system.

Wei-Ngan Chin, Cristina David, Cristian Gherghina

Browse the full OOPSLA paper archive.