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