Navegación

Búsqueda

Búsqueda avanzada

Sesión 8: RWL

Listado de artículos correspondientes a la sesión:

  1. Model-checking strategy-controlled rewriting systems
    Rubén Rubio / Narciso Marti-Oliet / Isabel Pita / Alberto Verdejo / 
  2. Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA
    Antonio Gonzalez-Burgueño / Damian Aparicio / Santiago Escobar / Catherine Meadows / Jose Meseguer / 
  3. Associative Unification and Symbolic Reasoning Modulo Associativity in Maude
    Francisco Durán / Steven Eker / Santiago Escobar / Narciso Marti-Oliet / Jose Meseguer / Carolyn Talcott /