Spanish Teorías unificadas de la programación Cited by user Dipiert on 31 Jul 2020 Las Teorías Unificadas de Programación (UTP) en ciencias de la computación se ocupan de la semántica de los programas.
English Unifying Theories of Programming Cited by user Jpbowen on 07 Nov 2014 Unifying Theories of Programming (UTP) in computer science deals with program semantics.