A formal framework for modular synchronous system design

Maria Cristina V. Marinescu*, Martin C. Rinard

*Corresponding author for this work

Research output: Book chapterChapterpeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'A formal framework for modular synchronous system design'. Together they form a unique fingerprint.

Computer Science