Date: 2009-07-21 19:10:53Logic in computer science Metalogic Electronic design automation NP-complete problems Satisfiability Modulo Theories Model theory Formal verification Extended static checking Model checking Theoretical computer science Formal methods Applied mathematics | | Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.comAdd to Reading ListSource URL: research.microsoft.comDownload Document from Source Website File Size: 163,71 KBShare Document on Facebook
|