Testing of concurrent and imperative software using CLP
Konferenzberichte:
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016
ISBN: 9781450341486
Datum der Publikation: 2016
Ausgabe: 2016-January
Seiten: 1-8
Art: Konferenz-Beitrag