Stefan Sokołowski

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Soundness of Hoare's logic: an automated proof using LCF
Stefan Sokołowski (1987) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Axioms for total correctness
Stefan Sokołowski (1977) · Acta Informatica · Springer Science+Business Media
Total correctness for procedures
Stefan Sokołowski (1977) · Springer Berlin Heidelberg