Testing of concurrent and imperative software using CLP

  1. Albert, E.
  2. Arenas, P.
  3. Gómez-Zamalloa, M.
Actes:
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016

ISBN: 9781450341486

Any de publicació: 2016

Volum: 2016-January

Pàgines: 1-8

Tipus: Aportació congrés

DOI: 10.1145/2967973.2968593 GOOGLE SCHOLAR
Font de les dades: Scopus