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
Année de publication: 2010
Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010
Volumen: 7
Pages: 104-113
Type: Communication dans un congrès