System Design Meets Equation-based Languages

LCCC Workshop September 2012