Towards testing concurrent objects in CLP

  1. Albert, E.
  2. Arenas, P.
  3. Gómez-Zamalloa, M.
Actes:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783939897439

Any de publicació: 2012

Volum: 17

Pàgines: 98-108

Tipus: Aportació congrés

DOI: 10.4230/LIPICS.ICLP.2012.98 GOOGLE SCHOLAR
Font de les dades: Scopus