Formal verification of concurrent and distributed constraint-based Java programs | Publicación