Checking Contracts for AOP using XPIDRs.

Henrique Reblo, Ricardo Massa Ferreira Lima, Alexandre Mota, Csar A. L. de Oliveira, Mrcio Ribeiro

Browse the full SEKE paper archive.