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        = ""}

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":"","bibtex":"@INPROCEEDINGS{Couto&15c,\r\n KEY = \"Couto\\&15\",\r\n AUTHOR = \"Lu{\\'i}s Diogo Couto and Peter Gorm Larsen and Miran Hasanagic\r\n and Georgios Kanakis and Kenneth Lausdahl and \r\n Peter W. V. Tran-J\\o{}rgensen\",\r\n EDITOR = \"\",\r\n TITLE = \"{Towards Enabling Overture as a Platform for Formal Notation IDEs}\",\r\n BOOKTITLE = \"2nd Workshop on Formal-IDE (F-IDE)\",\r\n ADDRESS = \"Oslo, Norway\",\r\n YEAR = \"2015\",\r\n MONTH = \"June\",\r\n ANNOTE = \"\"}\r\n\r\n\r\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":"blog.lausdahl.com/wp-content/uploads/publications/lausdahl.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}