| Document Date: 2010-02-15 09:12:21 Open Document File Size: 175,73 KBShare Result on Facebook
Facility EPFL University of Manchester Abstract / / IndustryTerm static analysis tool / theorem provers using saturation algorithms / program analysis tools / / Organization EPFL University of Manchester Abstract / National Science Foundation / European Commission / / Person Laura Kov / / Position General / first author / guard / / ProgrammingLanguage C / / Technology theorem provers using saturation algorithms / /
SocialTag |