Resource Usage Verification.

Kim Marriott, Peter J. Stuckey, Martin Sulzmann

Browse the full APLAS paper archive.