TY  - JOUR
SN  - 1567-8326
VL  - 82
PB  - Elsevier
EP  - 242
A1  - Kovács, Laura
A1  - Pugliese, Rosario
A1  - Silva, Josep
A1  - Tiezzi, Francesco
Y1  - 2013///
SP  - 241
ID  - eprints1854
TI  - Special issue on Automated Specification and Verification of Web Systems (Editorial)
AV  - none
JF  - Journal of Logic and Algebraic Programming
UR  - http://www.sciencedirect.com/science/article/pii/S1567832613000301
IS  - 8
ER  -