2016
Contribution to journal  Open Access

Automated verification of programs and Web systems

Ter Beek M. H., Lisitsa A., Nemytykh A. P., Ravara A.

Web systems  Program transformation  Programming languages  Computational Theory and Mathematics  Formal Methods and Tools  Rule-based programming  Software Engineering  Theoretical Computer Science  Software  Specification and Verification  Declarative programming  Logic  Software engineering  Logics and meanings of programs 

Source: Journal of Logical and Algebraic Methods in Programming [online] 85 (2016): 653–654. doi:10.1016/j.jlamp.2016.06.005

Publisher: Elsevier, Amsterdam, NH.


Metrics



Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:357989,
	title = {Automated verification of programs and Web systems},
	author = {Ter Beek M. H. and Lisitsa A. and Nemytykh A. P. and Ravara A.},
	publisher = {Elsevier, Amsterdam, NH.},
	doi = {10.1016/j.jlamp.2016.06.005},
	year = {2016}
}