WWV

Keyphrases

Publications

2015

volume 188, 2015

Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015. WWV 188 (2015)

2014

Ramaswamy Ramanujam, S. Sheerazuddin
A Local Logic for Realizability in Web Service Choreographies. WWV (2014)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
Automatic Detection of Webpages that Share the Same Web Template. WWV (2014)
Asad Ali, Maribel Fernández
Static Enforcement of Role-Based Access Control. WWV (2014)

volume 163, 2014

Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014. WWV 163 (2014)

2013

volume 123, 2013

Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013. WWV 123 (2013)

volume 18, 2013

6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010 WWV 18 (2013)

2012

volume 98, 2012

Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012. WWV 98 (2012)

2011

volume 61, 2011

Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011. WWV 61 (2011)

2010