Search Results - Riesco Rodríguez, Adrián

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Depuración declarativa y verificación heterogénea en Maude Declarative debugging and heterogeneous verification in Maude /

    Depuración declarativa y verificación heterogénea en Maude Declarative debugging and heterogeneous verification in Maude / by Riesco Rodríguez, Adrián

    Published 2011
    Get full text
    Libros Digitales

Search Tools: