Demis Ballis, Teimuraz Kutsia,
"WWV'09 - Automated Specification and Verification of Web Systems"
, Serie Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria, Nummer 09-10, RISC, JKU Linz, Schloss Hagenberg, 4232 Hagenberg, 7-2009
Original Titel:
WWV'09 - Automated Specification and Verification of Web Systems
Sprache des Titels:
Englisch
Veröffentlicher:
RISC, JKU Linz
Verlagsanschrift:
Schloss Hagenberg, 4232 Hagenberg
Serie:
Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria
Number:
09-10
Erscheinungsmonat:
7
Erscheinungsjahr:
2009
Anzahl der Seiten:
161
Notiz zur Publikation:
5th Int'l Workshop on Automated Specification and Verification of Web Systems, Castle of Hagenberg, Austria July 17, 2009