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 |
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2010 The Pennsylvania State University