Automated specification and verification of web-based applications
type: Item
instance of: scholarly article
title: Automated specification and verification of web-based applications
zbMATH Open document ID: 1358.00137
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2017-02-22T00:00:00Z
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 6688099
MaRDI profile type: Publication
full work available at URL: j.jlamp.2016.11.004
OpenAlex ID: W2556052998
Wikidata QID: Q56492212
DBLP publication ID: journals/jlp/BeekL17
DOI: 10.1016/J.JLAMP.2016.11.004
Recommended article: Automated verification of programs and Web systems
Recommended article: Special issue on automated specification and verification of web systems
Recommended article: Formal Techniques for Networked and Distributed Systems – FORTE 2004
Recommended article: Automated Technology for Verification and Analysis
Recommended article: Specification and verification of data-driven Web applications
Recommended article: On the Automated Verification of Web Applications with Embedded SQL
Recommended article: Editorial for the JLAMP special issue on automated specification and verification of web systems
description: scientific article; zbMATH DE number 6688099