A framework for verification and debugging of resource usage properties resource usage verification

  1. Lopez-Garcia, P.
  2. Darmawan, L.
  3. Bueno, F.
Aktak:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783939897170

Argitalpen urtea: 2010

Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010

Alea: 7

Orrialdeak: 104-113

Mota: Biltzar ekarpena

DOI: 10.4230/LIPICS.ICLP.2010.104 GOOGLE SCHOLAR
Datuen iturria: Scopus