Back to Results
First PageMeta Content
Algebra / Order theory / Algebraic structures / Galois connection / Constructible universe / Lattice / Abstract algebra / Mathematics / Abstract interpretation


Software Verification Grégoire Sutre LaBRI, University of Bordeaux, CNRS, France
Add to Reading List

Document Date: 2008-09-23 03:26:04


Open Document

File Size: 4,16 MB

Share Result on Facebook
UPDATE