zbMath0991.68146MaRDI QIDQ2737499
Natalia Romero, Máximo Prieto, Gabriel A. Baum, María José Presso, Verónica Argañaraz
Publication date: 12 September 2001
zbMATH Keywords
imperative calculus semantics
Mathematics Subject Classification ID