Publications

Embracing the Algol Effort in Czechoslovakia

H. Durnova, Embracing the Algol Effort in Czechoslovakia, Annals of the History of Computing, IEEE, vol. 36, pp. 26-37, 2014.

A Vindication of Program Verification

S. Bringsjord, A Vindication of Program Verification, History and Philosophy of Logic, pp. 1-16, 2015.

Pages