𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automatic generation of polynomial invariants of bounded degree using abstract interpretation

✍ Scribed by E. Rodríguez-Carbonell; D. Kapur


Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
446 KB
Volume
64
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES