Login / Signup
Danuta Szczepanska
Publication Activity (10 Years)
Years Active: 1985-1991
Publications (10 Years): 0
</>
Publications
</>
Danuta Szczepanska
A Hoare-Like Verification System for a Language with an Exception Handling Mechanism.
Theor. Comput. Sci.
80 (2) (1991)
Danuta Szczepanska
The Hoare-Like Verification System for a Language with an Exception Handling Mechanism.
MFCS
(1989)
Andrzej Szalas
,
Danuta Szczepanska
Exception handling in parallel computations.
ACM SIGPLAN Notices
20 (10) (1985)