LTP. Tema 2.3.6. Semántica operacional de paso pequeño (small-step): ejemplo

Divulgación de las actividades científicas, tecnológicas y artísticas ocurridas en los tres campus de la UPV