Skip to content
Commission for the History and Philosophy of Computing

Commission for the History and Philosophy of Computing

  • Home
  • The Commission
    • History of HaPoC
    • Statement
    • The Council
    • Bylaws (amended 2021)
    • The Manchester Manifesto
    • Contact us
    • Minutes of HAPOC General Assemblies
  • HaPoC Conference Series
    • HaPoC1
    • HaPoC2
    • HaPoC3
    • HaPoC4
    • HaPoC5
    • HaPoC 6
    • HaPoC7
  • HaPoP Symposium Series
    • HaPoP1
    • HaPoP2
    • HaPoP3
    • HaPoP4
    • HaPoP5
    • HaPoP 6
  • HaPoC Publications
  • News
Posted on 30 September 2015 by Giuseppe Primiero

A Vindication of Program Verification

S. Bringsjord, “A Vindication of Program Verification”, History and Philosophy of Logic, pp. 1-16, 2015. http://dx.doi.org/10.1080/01445340.2015.1065461

CategoriesPublications

Post navigation

Previous PostPrevious Agenda HaPoC GA
Next PostNext Embracing the Algol Effort in Czechoslovakia

Articles récents

  • Working Group on Data Sharing
  • Next HaPoP in Cambridge, October 25 !
  • HAPOC goes to Japan !
  • In Memoriam of Martin and Virginia Davis
  • Call for Symposia: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology – CLMPST 2023

Commentaires récents

No comments to show.
Proudly powered by WordPress