%0 Conference Paper %1 conf/rta/VerguNV15 %A Vergu, Vlad A. %A Neron, Pierre %A Visser, Eelco %B RTA %D 2015 %E Fernández, Maribel %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 365-378 %T DynSem: A DSL for Dynamic Semantics Specification. %U http://dblp.uni-trier.de/db/conf/rta/rta2015.html#VerguNV15 %V 36 %@ 978-3-939897-85-9

@inproceedings{conf/rta/VerguNV15, added-at = {2023-12-13T03:05:45.000+0100}, author = {Vergu, Vlad A. and Neron, Pierre and Visser, Eelco}, biburl = {https://www.bibsonomy.org/bibtex/246b2d152ac3f209f4435613bd01b2342/admin}, booktitle = {RTA}, crossref = {conf/rta/2015}, editor = {Fernández, Maribel}, ee = {https://doi.org/10.4230/LIPIcs.RTA.2015.365}, interhash = {877352f72b68c52bbdb0b699c46a8de7}, intrahash = {46b2d152ac3f209f4435613bd01b2342}, isbn = {978-3-939897-85-9}, keywords = {}, pages = {365-378}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-13T03:05:45.000+0100}, title = {DynSem: A DSL for Dynamic Semantics Specification.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2015.html#VerguNV15}, volume = 36, year = 2015 }