Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Software engineering / Formal methods / Models of computation / Parallel computing / Programming language semantics / Denotational semantics / Abstract interpretation / Semantics / Astre


The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS)
Add to Reading List

Document Date: 2007-10-18 09:45:46

Open Document

File Size: 146,26 KB

Share Result on Facebook
UPDATE