A framework for verification and debugging of resource usage properties resource usage verification
- Lopez-Garcia, P.
- Darmawan, L.
- Bueno, F.
ISSN: 1868-8969
ISBN: 9783939897170
Year of publication: 2010
Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010
Volume: 7
Pages: 104-113
Type: Conference paper