Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

Browse the full FORTE paper archive.