aRby—An Embedding of Alloy in Ruby. Milicevic, A. E. & Jackson, D. In Abstract State Machines, Alloy, B, VDM, and Z, of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2014.
![aRby—An Embedding of Alloy in Ruby [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @incollection{arby,
year={2014},
booktitle={Abstract State Machines, Alloy, B, VDM, and Z},
series={Lecture Notes in Computer Science},
title={aRby---An Embedding of Alloy in Ruby},
publisher={Springer Berlin Heidelberg},
author={Milicevic, Aleksandar Erfrati, Ido and Jackson, Daniel},
url_paper={pubs/2014/abz14-arby.pdf}
}
% Downloaded from http://people.csail.mit.edu/aleks/website/papers/onward13-red.pdf by Matt, 2017-03-06Downloads: 0
{"_id":"9ZXbyvRbaBTrts3Do","bibbaseid":"milicevic-jackson-arbyanembeddingofalloyinruby-2014","author_short":["Milicevic, A. E.","Jackson, D."],"bibdata":{"bibtype":"incollection","type":"incollection","year":"2014","booktitle":"Abstract State Machines, Alloy, B, VDM, and Z","series":"Lecture Notes in Computer Science","title":"aRby—An Embedding of Alloy in Ruby","publisher":"Springer Berlin Heidelberg","author":[{"propositions":[],"lastnames":["Milicevic"],"firstnames":["Aleksandar","Erfrati"],"suffixes":["Ido"]},{"propositions":[],"lastnames":["Jackson"],"firstnames":["Daniel"],"suffixes":[]}],"url_paper":"pubs/2014/abz14-arby.pdf","bibtex":"@incollection{arby,\n year={2014},\n booktitle={Abstract State Machines, Alloy, B, VDM, and Z},\n series={Lecture Notes in Computer Science},\n title={aRby---An Embedding of Alloy in Ruby},\n publisher={Springer Berlin Heidelberg},\n author={Milicevic, Aleksandar Erfrati, Ido and Jackson, Daniel},\nurl_paper={pubs/2014/abz14-arby.pdf}\n}\n\n% Downloaded from http://people.csail.mit.edu/aleks/website/papers/onward13-red.pdf by Matt, 2017-03-06\n","author_short":["Milicevic, A. E.","Jackson, D."],"key":"arby","id":"arby","bibbaseid":"milicevic-jackson-arbyanembeddingofalloyinruby-2014","role":"author","urls":{" paper":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/pubs/2014/abz14-arby.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb","MautteQst6amcB23d"],"keywords":[],"search_terms":["arby","embedding","alloy","ruby","milicevic","jackson"],"title":"aRby—An Embedding of Alloy in Ruby","year":2014}