%0 Journal Article %1 journals/jsc/HemelGKV11 %A Hemel, Zef %A Groenewegen, Danny M. %A Kats, Lennart C. L. %A Visser, Eelco %D 2011 %J J. Symb. Comput. %K %N 2 %P 150-182 %T Static consistency checking of web applications with WebDSL. %U http://dblp.uni-trier.de/db/journals/jsc/jsc46.html#HemelGKV11 %V 46

@article{journals/jsc/HemelGKV11, added-at = {2023-12-13T02:55:07.000+0100}, author = {Hemel, Zef and Groenewegen, Danny M. and Kats, Lennart C. L. and Visser, Eelco}, biburl = {https://www.bibsonomy.org/bibtex/27dd4d8c7a9705b4a2e702e4490819f1c/admin}, ee = {https://www.wikidata.org/entity/Q59780405}, interhash = {8544e22a39229fb060d38f4f51501bb3}, intrahash = {7dd4d8c7a9705b4a2e702e4490819f1c}, journal = {J. Symb. Comput.}, keywords = {}, number = 2, pages = {150-182}, timestamp = {2023-12-13T02:55:07.000+0100}, title = {Static consistency checking of web applications with WebDSL.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc46.html#HemelGKV11}, volume = 46, year = 2011 }