𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification of Boolean programs with unbounded thread creation

✍ Scribed by Byron Cook; Daniel Kroening; Natasha Sharygina


Book ID
108281354
Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
381 KB
Volume
388
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES