WWV'09 - Automated Specification and Verification of Web Systems

Research output: Working paper and reports › Preprint

Original language	English
Place of Publication	Schloss Hagenberg, 4232 Hagenberg
Publisher	RISC, JKU-Linz
Number of pages	161
Publication status	Published - Jul 2009

Name	Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria
No.	09-10

Fields of science

@techreport{48a01aea49674574b58ebd8595a67457,

title = "WWV'09 - Automated Specification and Verification of Web Systems",

author = "Demis Ballis and Teimuraz Kutsia",

year = "2009",

month = jul,

language = "English",

series = "Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria",

publisher = "RISC, JKU-Linz",

number = "09-10",

type = "WorkingPaper",

institution = "RISC, JKU-Linz",

}

TY - UNPB

T1 - WWV'09 - Automated Specification and Verification of Web Systems

AU - Ballis, Demis

AU - Kutsia, Teimuraz

PY - 2009/7

Y1 - 2009/7

M3 - Preprint

T3 - Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria

BT - WWV'09 - Automated Specification and Verification of Web Systems

PB - RISC, JKU-Linz

CY - Schloss Hagenberg, 4232 Hagenberg

ER -