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
    • The Manchester Manifesto
    • Bylaws (amended 2021)
    • Contact us
    • Minutes of HAPOC General Assemblies
  • HaPoC Conference Series
    • HaPoC 8
    • HaPoC 7
    • HaPoC 6
    • HaPoC 5
    • HaPoC 4
    • HaPoC 3
    • HaPoC 2
    • HaPoC 1
  • 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

  • New HaPoC Council election
  • Working Group on Data Sharing
  • Next HaPoP in Cambridge, October 25 !
  • HAPOC goes to Japan !
  • In Memoriam of Martin and Virginia Davis

Commentaires récents

No comments to show.
Proudly powered by WordPress