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

A portable compiler-integrated approach to permanent checking

โœ Scribed by Nic Volanschi


Book ID
106356250
Publisher
Springer US
Year
2007
Tongue
English
Weight
399 KB
Volume
15
Category
Article
ISSN
0928-8910

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A Partial Approach to Model Checking
โœ P. Godefroid; P. Wolper ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 1003 KB