| |
| 1991 | ||
|---|---|---|
| 2 | Danuta Szczepanska: A Hoare-Like Verification System for a Language with an Exception Handling Mechanism. Theor. Comput. Sci. 80(2): 319-335 (1991) | |
| 1989 | ||
| 1 | Danuta Szczepanska: The Hoare-Like Verification System for a Language with an Exception Handling Mechanism. MFCS 1989: 511-522 | |