Testing of concurrent and imperative software using CLP | Publicación