TY  - RPRT
TI  - Towards Enabling Overture as a Platform for Formal Notation IDEs
AU  - Luís Diogo Couto
AU  - Peter Gorm Larsen
AU  - Miran Hasanagić
AU  - Georgios Kanakis
AU  - Kenneth Lausdahl
AU  - Peter W. V. Tran-Jørgensen
PY  - 2015
DO  - 10.4204/eptcs.187.2
UR  - https://arxiv.org/abs/1508.03893
ID  - 1508.03893
ER  -