M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O.,
“A Fast Algebraic Web Verification Service”,
Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.
S. Flores, Lucas, S., and Villanueva, A.,
“Formal Verification of Websites”,
Proceedings of the 16th International Workshop on Automated Specification and Verification of Web Sites (WWV'07). San Servolo, Venice, Italy, pp. 83–97, 2007.
D. Ballis, Baruzzo, A., and Comini, M.,
“A rule-based method to match Software Patterns against UML Models”,
The 8th International Workshop on Rule-Based Programming (RULE '07). Elsevier Science Publishers, North Holland, pp. 239–248, 2007.
S. Flores, Lucas, S., and Villanueva, A.,
“Using Maude for the Formal Verification of Websites”,
Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 71–80, 2007.
A. Lescaylle and Villanueva, A.,
“Using tccp for the Specification and Verification of Communication Protocols”,
Proceedings of the 16th International Workshop on Funcional and (Constraint) Logic Programming (WFLP'07). Paris (France), pp. 169–183, 2007.
A. Lescaylle and Villanueva, A.,
“Using tccp for the Specification of Communication Protocols”,
Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 301–310, 2007.