Towards Enabling Overture as a Platform for Formal Notation IDEs. Luís Diogo Couto, Larsen, P. G., Hasanagic, M., Kanakis, G., Lausdahl, K., & Tran-Jørgensen, P. W. V. In 2nd Workshop on Formal-IDE (F-IDE), Oslo, Norway, June, 2015.
bibtex   
@INPROCEEDINGS{Couto&15c,
  KEY           = "Couto\&15",
  AUTHOR        = "Lu{\'i}s Diogo Couto and Peter Gorm Larsen and Miran Hasanagic
                   and Georgios Kanakis and Kenneth Lausdahl and
                   Peter W. V. Tran-J\o{}rgensen",
  EDITOR        = "",
  TITLE         = "{Towards Enabling Overture as a Platform for Formal Notation IDEs}",
  BOOKTITLE     = "2nd Workshop on Formal-IDE (F-IDE)",
  ADDRESS       = "Oslo, Norway",
  YEAR          = "2015",
  MONTH         = "June",
  ANNOTE        = "",
  COMMENT       = "BIB WE have the sources"}

%G VDM TOOL OVERTURE

Downloads: 0