You are here

Home

Using Maude for the Formal Verification of Websites

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.

created with Drupal | customized by Giovanni Bacci