Report copyright - Dijkstra Monads in Monadic Computationmonads [28] have been de ned in a systematic approach to program veri cation. Via these monads one describes not only a program but also the associated
Please pass captcha verification before submit form