Peter O'Hearn · 2 obras en el catálogoObrasALGOL-like languagesVVerified Software : Theories, Tools, ExperimentsVerified Software : Theories, Tools, Experiments