A Hoare-like verification system for a language with an exception handling mechanism Szczepanska D. Theoretical Computer Science80(2):319-335,1991.Type:Article
Published By: Elsevier Science Publishers Ltd.
Reproduction in whole or in part without permission
is prohibited. Copyright 1999-2024 ThinkLoud®
Terms of Use | Privacy
Policy