TITLE     : Automated specification and verification of Web-based applications
AUTHOR(S) : Ter Beek M H, Lluch Lafuente A
TYPE      : Journal article
YEAR      : 2017
CODE      : 367419

*** DO NOT EDIT THIS FILE ***