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

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!