eprintid: 1854
rev_number: 7
eprint_status: archive
userid: 31
dir: disk0/00/00/18/54
datestamp: 2013-10-28 11:54:52
lastmod: 2014-01-29 14:43:50
status_changed: 2013-10-28 11:54:52
type: article
metadata_visibility: show
creators_name: Kovács, Laura
creators_name: Pugliese, Rosario
creators_name: Silva, Josep
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: Special issue on Automated Specification and Verification of Web Systems (Editorial)
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
date: 2013
date_type: published
publication: Journal of Logic and Algebraic Programming
volume: 82
number: 8
publisher: Elsevier
pagerange: 241-242
id_number: 10.1016/j.jlap.2013.05.007
refereed: TRUE
issn: 1567-8326
official_url: http://www.sciencedirect.com/science/article/pii/S1567832613000301
citation:   Kovács, Laura and Pugliese, Rosario and Silva, Josep and Tiezzi, Francesco  Special issue on Automated Specification and Verification of Web Systems (Editorial).  Journal of Logic and Algebraic Programming, 82 (8).  pp. 241-242.  ISSN 1567-8326      (2013)