You are here

Publications

Export 3 results:
Filters: Keyword is Abstract Verification and Author is Moreno Falaschi  [Clear All Filters]
2008
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.
2003
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.
2002
M. Comini, VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications, Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.