A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification.

Pedro Lpez-Garca, Luthfi Darmawan, Francisco Bueno

Browse the full ICLP paper archive.