[go: up one dir, main page]

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

Pedro López-García, Luthfi Darmawan, Francisco Bueno (2010)

Details and statistics

DOI: 10.4230/LIPICS.ICLP.2010.104

access: open

type: Conference or Workshop Paper

metadata version: 2021-04-09