@INPROCEEDINGS{Alves06,
  KEY           = "Alves06",
  AUTHOR        = "Tiago M. L. Alves",
  TITLE         = "Sex Up Overture",
  BOOKTITLE     = "Third Overture Workshop at Newcastle University",
  YEAR          = "2006",
  MONTH         = "November",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE

{"_id":"vPDER5JbpPHTTxTJp","authorIDs":[],"author_short":["Alves, T. M. L."],"bibbaseid":"alves-sexupoverture-2006","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Alves06","author":[{"firstnames":["Tiago","M.","L."],"propositions":[],"lastnames":["Alves"],"suffixes":[]}],"title":"Sex Up Overture","booktitle":"Third Overture Workshop at Newcastle University","year":"2006","month":"November","note":"","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Alves06,\n KEY = \"Alves06\",\n AUTHOR = \"Tiago M. L. Alves\",\n TITLE = \"Sex Up Overture\",\n BOOKTITLE = \"Third Overture Workshop at Newcastle University\",\n YEAR = \"2006\",\n MONTH = \"November\",\n NOTE = \"\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM OVERTURE\n","author_short":["Alves, T. M. L."],"id":"Alves06","bibbaseid":"alves-sexupoverture-2006","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.323Z","downloads":0,"keywords":[],"search_terms":["sex","overture","alves"],"title":"Sex Up Overture","year":2006,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}