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
Año de publicación: 2010
Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010
Volumen: 7
Páginas: 104-113
Tipo: Aportación congreso