El Plan de Badajoz

von Martin Martin, Enrique
Veröffentlicht in Información comercial española (1954)

Lower-Bound Synthesis Using Loop Specialization and Max-SMT

von Albert, Elvira
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)