๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Hoare-like verification system for a language with an exception handling mechanism

โœ Scribed by Danuta Szczepanska


Book ID
103683790
Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
577 KB
Volume
80
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


An exception handling mechanism for SR
โœ Daniel T. Huang; Ronald A. Olsson ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 962 KB