LTP. Tema 2.3.5. Semántica operacional de paso grande (big-step)
Divulgación de las actividades científicas, tecnológicas y artísticas ocurridas en los tres campus de la UPV
![Trabajo Académico 2 (TETIS) - parte 3: Introducción a TETIS [1]](https://media.upv.es/resources/politube/videos/97d5fef0-95fd-11ea-947e-b5aa794c4ff5/slides/thumb.120.jpg "Trabajo Académico 2 (TETIS) - parte 3: Introducción a TETIS [1]")
Divulgación de las actividades científicas, tecnológicas y artísticas ocurridas en los tres campus de la UPV