Virtual special issue: automated specification and verification of web-based applications

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Workshop on Automated Specification and Verification of Web Systems (VerfasserIn)
Weitere Verfasser:	Beek, Maurice H. ter (HerausgeberIn), Lluch Lafuente, Alberto (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Boston, London Elsevier 2017
Schriftenreihe:	The journal of logical and algebraic methods in programming volume 87 (February 2017)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	"This special section of 'The journal of logical and algebraic methods in programming' is the result of an open call for papers devoted to the themes of the Workshop Series on the Automated Specification and Verification of Web Systems (WWV)" - Vorwort "On 23 June 2015 in Oslo, Norway as a workshop affiliated with the 20th International Symposium on Formal Methods (FM 2015)" - Vorwort Enthält insgesamt 3 Beiträge Literaturangaben
Beschreibung:	Seite 51-91 Illustrationen