Login / Signup

A Formal Framework for Modular Synchronous System Design.

Maria-Cristina V. MarinescuMartin C. Rinard
Published in: FME (2003)
Keyphrases