- -
UPV
 

Un ejemplo de traza de ejecución siguiendo una semántica operacional de paso pequeño

Villanueva García, Alicia; Se presenta un ejemplo de traza de ejecución de un programa sencillo ilustrando la semántica operacional de paso pequeño http://hdl.handle.net/10251/66633


EMAS upv