SMT in Verification, Modeling, and Testing at Microsoft

Nikolaj Bjørner. SMT in Verification, Modeling, and Testing at Microsoft. In Armin Biere, Amir Nahir, Tanja E. J. Vos, editors, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers. Volume 7857 of Lecture Notes in Computer Science, pages 3, Springer, 2012. [doi]

Authors

Nikolaj Bjørner

This author has not been identified. Look up 'Nikolaj Bjørner' in Google