LTP. Tema 2.3.7. Semántica operacional de paso grande (big-step): ejemplo

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