Skip to content
Policy Studies Curriculum and Courses
Policy Studies Curriculum and Courses
  • Home
  • About Us
    • About the PSO
    • About the PSO Chinese
    • Board, Editors and Staff
    • How to Join
    • The Role of the PSO
    • Board area
    • Contact Us
    • Logos
  • Publications
    • Journals
    • Book Series
    • Open Access
    • Westphalia Press
  • Conferences
    • Dupont Summit
    • Middle East Dialogue
    • World Conference on Fraternalism, Social Capital, and Civil Society (WCF)
    • International Criminology Conference
    • International Criminology Conference
    • Popular and American Culture
    • PSW Lecture Series
    • PSO Events in the Washington DC Area
    • Space Education & Strategic Applications
    • Internet Policy & Politics Conference
    • Past Conferences
  • Other Projects
    • Awards
    • Phi Sigma Omega and Fraternal Societies
    • Seymour Martin Lipset Library
    • Scholarships
    • The Cavanaugh Sculpture Garden
    • The Charles Town Collection
  • Resources
    • Multimedia
    • PSO Curriculum Project
    • Proceedings of the PSO
    • PSO Yearbook
  • Contact

Automatically Proving That Computer Programs Do What They are Supposed to Do

February 11, 2018 by admin

Automatically Proving That Computer Programs Do What They are Supposed to Do
Byron Cook

Abstract Minutes Video

Categories Innovation Policy, Science, Technology
© 2025 - All rights reserved