Testing of concurrent and imperative software using CLP

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

ISBN: 9781450341486

Year of publication: 2016

Volume: 2016-January

Pages: 1-8

Type: Conference paper

DOI: 10.1145/2967973.2968593 GOOGLE SCHOLAR