Timothy R. Colburn1952 · 2 obras en el catálogoObrasPPhilosophy and computer sciencePhilosophy and computer science2000Program verification