Inproceedings,

Testing of concurrent and imperative software using CLP.

, , and .
PPDP, page 1-8. ACM, (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews