@inproceedings{DBLP:conf/oopsla/RaysideMYDJ09,
  author    = {Derek Rayside and
               Aleksandar Milicevic and
               Kuat Yessenov and
               Greg Dennis and
               Daniel Jackson},
  title     = {Agile specifications},
  booktitle = {Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, OOPSLA
               2009, October 25-29, 2009, Orlando, Florida, USA},
  year      = {2009},
  pages     = {999-1006},
   url_paper={pubs/2009/onward09-agile-specifications.pdf}
}

{"_id":"jMuu2BMgFQzg7Hp7n","bibbaseid":"rayside-milicevic-yessenov-dennis-jackson-agilespecifications-2009","author_short":["Rayside, D.","Milicevic, A.","Yessenov, K.","Dennis, G.","Jackson, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Derek"],"propositions":[],"lastnames":["Rayside"],"suffixes":[]},{"firstnames":["Aleksandar"],"propositions":[],"lastnames":["Milicevic"],"suffixes":[]},{"firstnames":["Kuat"],"propositions":[],"lastnames":["Yessenov"],"suffixes":[]},{"firstnames":["Greg"],"propositions":[],"lastnames":["Dennis"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Agile specifications","booktitle":"Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA","year":"2009","pages":"999-1006","url_paper":"pubs/2009/onward09-agile-specifications.pdf","bibtex":"@inproceedings{DBLP:conf/oopsla/RaysideMYDJ09,\n author = {Derek Rayside and\n Aleksandar Milicevic and\n Kuat Yessenov and\n Greg Dennis and\n Daniel Jackson},\n title = {Agile specifications},\n booktitle = {Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented\n Programming, Systems, Languages, and Applications, OOPSLA\n 2009, October 25-29, 2009, Orlando, Florida, USA},\n year = {2009},\n pages = {999-1006},\n url_paper={pubs/2009/onward09-agile-specifications.pdf}\n}\n\n","author_short":["Rayside, D.","Milicevic, A.","Yessenov, K.","Dennis, G.","Jackson, D."],"key":"DBLP:conf/oopsla/RaysideMYDJ09","id":"DBLP:conf/oopsla/RaysideMYDJ09","bibbaseid":"rayside-milicevic-yessenov-dennis-jackson-agilespecifications-2009","role":"author","urls":{" paper":"https://groups.csail.mit.edu/sdg/pubs/2009/onward09-agile-specifications.pdf"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"inproceedings","biburl":"https://groups.csail.mit.edu/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb","MautteQst6amcB23d","wMJeHpusdrqyLjYzw","SGcC92B9tzz6T6Txn"],"keywords":[],"search_terms":["agile","specifications","rayside","milicevic","yessenov","dennis","jackson"],"title":"Agile specifications","year":2009,"downloads":3}