Section outline


  • Tuesday, January 20:

    • Eszter Tasi: "Maude SOS" (Structured Operational Semantics)