Automated specification and verification of Web-based applications

Academic Article

Publication Date:

2017

Iris type:

01.07 Editoriale in rivista

Keywords:

Web systems; Specification and Verification; Software Engineering; Formal Methods and Tools; Rule-based programming; Declarative programming; Program transformation

List of contributors:

TER BEEK, MAURICE HENRI

Authors of the University:

TER BEEK MAURICE HENRI

Handle:

https://iris.cnr.it/handle/20.500.14243/355303

Full Text:

https://iris.cnr.it//retrieve/handle/20.500.14243/355303/13462/prod_367419-doc_159183.pdf

Published in:

THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Journal

Overview

URL

http://www.sciencedirect.com/science/article/pii/S235222081630164X

Automated specification and verification of Web-based applications

TER BEEK, MAURICE HENRI

THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Overview

URL