An elementary and unified approach to program correctness. (English)
Formal Asp. Comput. 22, No. 5, 611-627 (2010).
1
Intuitionistic logic according to Dijkstra’s calculus of equational deduction. (English)
Notre Dame J. Formal Logic 49, No. 4, 361-384 (2008).
2
Intuitionistic logic according to dijkstra’s calculus of equational deduction (English)
Notre Dame Journal of Formal Logic 49, No. 4, 361-384 (2008).
3
Start
Contact
Print
General Help
