Testing of concurrent and imperative software using CLP
Aktak:
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016
ISBN: 9781450341486
Argitalpen urtea: 2016
Alea: 2016-January
Orrialdeak: 1-8
Mota: Biltzar ekarpena