You are here

Home

Publications

Export 1 results:
Filters: Keyword is Specification of Web Applications and Author is Daniel Omar Romero  [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.

created with Drupal | customized by Giovanni Bacci