Computer assisted manipulation of algebraic process specifications

Jan Friso Groote, Bert Lisser. Computer assisted manipulation of algebraic process specifications. SIGPLAN Notices, 37(12):98-107, 2002. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.