![](/img/cover-not-exists.png)
Proving concurrent constraint programs correct
De Boer, Frank S., Gabbrielli, Maurizio, Marchiori, Elena, Palamidessi, CatusciaVolume:
19
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/265943.265954
Date:
September, 1997
File:
PDF, 538 KB
english, 1997