You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 1 results:

BibTex

Filters: Keyword is Specification of Web Applications [Clear All Filters]

Conference Proceedings

M. Alpuente, Ballis, D., and Romero, D. O., “Specification and Verification of Web Applications in Rewriting Logic”, 16th International Symposium on Formal Methods, FM 2009. Springer, pp. 790–805, 2009.