Towards Enabling Overture as a Platform for Formal Notation IDEs

Towards Enabling Overture as a Platform for Formal Notation IDEs. Luí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

{"_id":"PGtzd9dNDvTL98wHh","bibbaseid":"luisdiogocouto-larsen-hasanagic-kanakis-lausdahl-tranjrgensen-towardsenablingovertureasaplatformforformalnotationides-2015","author_short":["Luís Diogo Couto","Larsen, P. G.","Hasanagic, M.","Kanakis, G.","Lausdahl, K.","Tran-Jørgensen, P. W. V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Couto&15c","author":[{"firstnames":[],"propositions":[],"lastnames":["Luís Diogo Couto"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Miran"],"propositions":[],"lastnames":["Hasanagic"],"suffixes":[]},{"firstnames":["Georgios"],"propositions":[],"lastnames":["Kanakis"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Peter","W.","V."],"propositions":[],"lastnames":["Tran-Jørgensen"],"suffixes":[]}],"editor":[{"firstnames":[],"propositions":[],"lastnames":[""],"suffixes":[]}],"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","bibtex":"@INPROCEEDINGS{Couto&15c,\n KEY = \"Couto\\&15\",\n AUTHOR = \"Lu{\\'i}s Diogo Couto and Peter Gorm Larsen and Miran Hasanagic\n and Georgios Kanakis and Kenneth Lausdahl and\n Peter W. V. Tran-J\\o{}rgensen\",\n EDITOR = \"\",\n TITLE = \"{Towards Enabling Overture as a Platform for Formal Notation IDEs}\",\n BOOKTITLE = \"2nd Workshop on Formal-IDE (F-IDE)\",\n ADDRESS = \"Oslo, Norway\",\n YEAR = \"2015\",\n MONTH = \"June\",\n ANNOTE = \"\",\n COMMENT = \"BIB WE have the sources\"}\n\n%G VDM TOOL OVERTURE\n","author_short":["Luís Diogo Couto","Larsen, P. G.","Hasanagic, M.","Kanakis, G.","Lausdahl, K.","Tran-Jørgensen, P. W. V."],"editor_short":[""],"id":"Couto&15c","bibbaseid":"luisdiogocouto-larsen-hasanagic-kanakis-lausdahl-tranjrgensen-towardsenablingovertureasaplatformforformalnotationides-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","dataSources":["o4zfqwm7cQsSnyzzT","HtWEJcCHFxSnPZdyr","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj","maALzmZwmtEEh8pXx"],"keywords":[],"search_terms":["towards","enabling","overture","platform","formal","notation","ides","luís diogo couto","larsen","hasanagic","kanakis","lausdahl","tran-jørgensen"],"title":"Towards Enabling Overture as a Platform for Formal Notation IDEs","year":2015}