Static Consistency Checking of Web Applications with WebDSL

Z Hemel, DM Groenewegen, LCL Kats, E Visser

Research output: Contribution to journal › Article › Scientific › peer-review

22 Citations (Scopus)

Original language	English
Pages (from-to)	150-182
Number of pages	33
Journal	Journal of Symbolic Computation
Volume	46
Issue number	2
DOIs	https://doi.org/10.1016/j.jsc.2010.08.006
Publication status	Published - 2011

Keywords

@article{59bc3ee8d1a4413696b84841b60c608d,

title = "Static Consistency Checking of Web Applications with WebDSL",

keywords = "CWTS 0.75 <= JFIS < 2.00",

author = "Z Hemel and DM Groenewegen and LCL Kats and E Visser",

year = "2011",

doi = "10.1016/j.jsc.2010.08.006",

language = "English",

volume = "46",

pages = "150--182",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press",

number = "2",

}

TY - JOUR

T1 - Static Consistency Checking of Web Applications with WebDSL

AU - Hemel, Z

AU - Groenewegen, DM

AU - Kats, LCL

AU - Visser, E

PY - 2011

Y1 - 2011

KW - CWTS 0.75 <= JFIS < 2.00

U2 - 10.1016/j.jsc.2010.08.006

DO - 10.1016/j.jsc.2010.08.006

M3 - Article

SN - 0747-7171

VL - 46

SP - 150

EP - 182

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 2

ER -