Login / Signup

A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report).

Azer BestavrosAssaf J. Kfoury
Published in: DSL (2011)
Keyphrases