Testing of concurrent and imperative software using CLP
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