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

Proving pointer programs in higher-order logic

โœ Scribed by Farhad Mehta; Tobias Nipkow


Book ID
113641551
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
327 KB
Volume
199
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


CERES in higher-order logic
โœ Stefan Hetzl; Alexander Leitsch; Daniel Weller ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 450 KB