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.
@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} }