Johan J. Lukkien
-
Enforcing behavior with contracts
Programming methodology
Kleene getting lazy
Science of Computer Programming
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language
Performance Evaluation