Towards Enabling Overture as a Platform for Formal Notation IDEs

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Couto, Luis Diogo; Larsen, Peter Gorm; Hasanagic, Miran; Kanakis, Georgios; Lausdahl, Kenneth; Tran-Jørgensen, Peter W. V.

Journal title: Electronic Proceedings in Theoretical Computer Science

Journal publisher: Corner University Library

Published year: 2015