Proving Concurrent Constraint Programs Correct

F.S. de Boer, M. Gabbrielli, E. Marchiori, C. Palamidessi

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
JournalJournal of ACM TOPLAS
Volume19
Issue number5
Publication statusPublished - 1997

Cite this