Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems

by Maurice H. ter Beek, Alberto Lluch Lafuente

Published in Electronic Proceedings in Theoretical Computer Science by Open Publishing Association.

2015 Volume 188, p1-3

application/pdf 49.8 kB `file_46hhuxe2avf2pj2oh2rg42kz3e`	web.archive.org (webarchive) puma.isti.cnr.it (web)
application/pdf 53.9 kB `file_ghro4ggabrhntnrv55orpvljve`	web.archive.org (webarchive) puma.isti.cnr.it (web)

Preserved and Accessible

Type article-journal
Stage

published

Date 2015-08-14
Language en ^?

DOI 10.4204/eptcs.188.0

Proceedings Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L: 2075-2180

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar

Catalog Record
Revision: 79b0978c-f634-44a4-b267-50fa07159946
API URL: JSON

Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems Preface release_tu2rjf7derghtiqwdiyt5ozrxi