DaftarIsitemplate

Call Number

SEM-198

Title

Proving concurrent constraint programs correct,Hlm 98-108

Author

Frank S.de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi;

Publisher

Proceedings 21st ACM SIGPLAN-SIGACT Symposium on principles of programming languages-portland,Oregon,January 17-21,1994

Subject

Location