Testing of concurrent and imperative software using CLP

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

ISBN: 9781450341486

Año de publicación: 2016

Volumen: 2016-January

Páginas: 1-8

Tipo: Aportación congreso

DOI: 10.1145/2967973.2968593 GOOGLE SCHOLAR
Fuente de los datos: Scopus