Automated specification and verification of web-based applications
scientific article; zbMATH DE number 6688099