Editorial for the JLAMP Special Issue on automated specification and verification of web systems

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Article number	44
Pages (from-to)	483-484
Number of pages	2
Journal	Journal of Logical and Algebraic Methods in Programming
Volume	84
Issue number	4
DOIs	https://doi.org/10.1016/j.jlamp.2015.04.001
Publication status	Published - 8 Aug 2015

Access to Document

@article{1b4e8740a91e463f999d10c9803dd5a8,

title = "Editorial for the JLAMP Special Issue on automated specification and verification of web systems",

author = "Ant{\'o}nio Ravara and Josep Silva",

note = "Sem PDF.",

year = "2015",

month = aug,

day = "8",

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

language = "English",

volume = "84",

pages = "483--484",

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

issn = "2352-2216",

publisher = "Elsevier",

number = "4",

}

TY - JOUR

T1 - Editorial for the JLAMP Special Issue on automated specification and verification of web systems

AU - Ravara, António

AU - Silva, Josep

N1 - Sem PDF.

PY - 2015/8/8

Y1 - 2015/8/8

UR - https://www.scopus.com/pages/publications/84938693571

U2 - 10.1016/j.jlamp.2015.04.001

DO - 10.1016/j.jlamp.2015.04.001

M3 - Editorial

AN - SCOPUS:84938693571

SN - 2352-2216

VL - 84

SP - 483

EP - 484

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

IS - 4

M1 - 44

ER -