Testing of concurrent and imperative software using CLP
Actes de conférence:
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016
ISBN: 9781450341486
Année de publication: 2016
Volumen: 2016-January
Pages: 1-8
Type: Communication dans un congrès