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