You are here

Home

Publications

Export 2 results:
Filters: Keyword is Abstract Verification and Author is Maria Alpuente  [Clear All Filters]
Conference Proceedings
M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Lucas, S., “Abstract Diagnosis of Functional Programs”, Logic Based Program Synthesis and Tranformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, vol. 2664. Springer-Verlag, Berlin, 2003.
M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O., “An Abstract Generic Framework for Web Site Verification”, 2008 International Symposium on Applications and the Internet, SAINT 2008. IEEE Computer Society, pp. 104–110, 2008.

created with Drupal | customized by Giovanni Bacci