%0 Conference Paper %1 conf/oopsla/StoelSVB16 %A Stoel, Jouke %A van der Storm, Tijs %A Vinju, Jurgen J. %A Bosman, Joost %B ITSLE@SPLASH %D 2016 %E Dajsuren, Yanja %E Kourzanov, Peter %I ACM %K dblp %P 13-20 %T Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank. %U http://dblp.uni-trier.de/db/conf/oopsla/itsle2016.html#StoelSVB16 %@ 978-1-4503-4646-7

@inproceedings{conf/oopsla/StoelSVB16, added-at = {2019-11-22T00:00:00.000+0100}, author = {Stoel, Jouke and van der Storm, Tijs and Vinju, Jurgen J. and Bosman, Joost}, biburl = {https://www.bibsonomy.org/bibtex/2640085769d99c1773c79b7319e7c644c/dblp}, booktitle = {ITSLE@SPLASH}, crossref = {conf/oopsla/2016itsle}, editor = {Dajsuren, Yanja and Kourzanov, Peter}, ee = {http://dl.acm.org/citation.cfm?id=2998413}, interhash = {e7490d26f26e15af50430b24e3b945fe}, intrahash = {640085769d99c1773c79b7319e7c644c}, isbn = {978-1-4503-4646-7}, keywords = {dblp}, pages = {13-20}, publisher = {ACM}, timestamp = {2019-11-23T11:42:40.000+0100}, title = {Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/itsle2016.html#StoelSVB16}, year = 2016 }