SMT Solvers for Testing, Program Analysis and Verification at Microsoft.

Nikolaj S. Bjrner

Browse the full SYNASC paper archive.