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

Danuta Szczepanska

Browse the full MFCS paper archive.