TY  - RPRT
TI  - Type Inference of Simulink Hierarchical Block Diagrams in Isabelle
AU  - Viorel Preoteasa
AU  - Iulia Dragomir
AU  - Stavros Tripakis
PY  - 2017
UR  - https://arxiv.org/abs/1612.05494
ID  - 1612.05494
ER  -