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

Divulgació de les activitats científiques, tecnològiques i artístiques ocorregudes en els tres campus de la UPV