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

Syntax-directed model checking of sequential programs

โœ Scribed by Karen Yorav; Orna Grumberg


Book ID
114414930
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
447 KB
Volume
52-53
Category
Article
ISSN
1567-8326

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Syntax-directed compression of program f
โœ Jyrki Katajainen; Martti Penttonen; Jukka Teuhola ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 477 KB