Static Consistency Checking of Web Applications with WebDSL

Z Hemel, DM Groenewegen, LCL Kats, E Visser

Research output: Contribution to journalArticleScientificpeer-review

17 Citations (Scopus)
Original languageEnglish
Pages (from-to)150-182
Number of pages33
JournalJournal of Symbolic Computation
Volume46
Issue number2
DOIs
Publication statusPublished - 2011

Keywords

  • CWTS 0.75 <= JFIS < 2.00

Cite this