The Octagon Abstract Domain

Cached

Download Links

by Antoine Mine
Citations:231 - 23 self

Document Versions

The Octagon Abstract Domain –Antoine Mine
The octagon abstract domain –Antoine Miné, École Normale Supérieure — 2001 — In AST 2001 in WCRE 2001, IEEE