Fred B. Schneider · 4 obras en el catálogoObrasTrust in cyberspaceA Logical Approach to Discrete MathOn concurrent programming1997PPutting time into proof outlinesPutting time into proof outlines1991