The Hoare-Like Verification System for a Language with an Exception Handling Mechanism.

Danuta Szczepanska The Hoare-Like Verification System for a Language with an Exception Handling Mechanism. 511-522 1989 conf/mfcs/1989 MFCS db/conf/mfcs/mfcs89.html#Szczepanska89 http://dx.doi.org/10.1007/3-540-51486-4_97