Document - Automated specification and verification of Web-based applications

2017

Contribution to journal Open Access

Automated specification and verification of Web-based applications

Ter Beek M. H., Lluch Lafuente A.

Computational Theory and Mathematics Formal Methods and Tools Rule-based programming Web systems Software Engineering Theoretical Computer Science Program transformation Software Specification and Verification Declarative programming Logic

Source: Journal of Logical and Algebraic Methods in Programming [online] 87 (2017). doi:10.1016/j.jlamp.2016.11.004

Publisher: Elsevier, Amsterdam, NH.

Metrics

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:367419,
	title = {Automated specification and verification of Web-based applications},
	author = {Ter Beek M.  H. and Lluch Lafuente A.},
	publisher = {Elsevier, Amsterdam, NH.},
	doi = {10.1016/j.jlamp.2016.11.004},
	year = {2017}
}