Livio Colussi;Elena Marchiori;Massimo Marchiori
-;-;-
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)