Automated specification and verification of Web-based applications

Research output: Contribution to journal › Editorial

Original language	English
Journal	Journal of Logical and Algebraic Methods in Programming
Volume	87
Pages (from-to)	51-51
DOIs	https://doi.org/10.1016/j.jlamp.2016.11.004
Publication status	Published - 2017

Access to Document

@article{7909e786d628426f9cb137dba454f45f,

title = "Automated specification and verification of Web-based applications",

author = "\{ter Beek\}, \{Maurice H.\} and \{Lluch Lafuente\}, Alberto",

year = "2017",

doi = "10.1016/j.jlamp.2016.11.004",

language = "English",

volume = "87",

pages = "51--51",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2216",

publisher = "Elsevier",

}

TY - JOUR

T1 - Automated specification and verification of Web-based applications

AU - ter Beek, Maurice H.

AU - Lluch Lafuente, Alberto

PY - 2017

Y1 - 2017

U2 - 10.1016/j.jlamp.2016.11.004

DO - 10.1016/j.jlamp.2016.11.004

M3 - Editorial

SN - 2352-2216

VL - 87

SP - 51

EP - 51

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

ER -