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

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