CITATION STYLE
Bruttomesso, R., Pek, E., Sharygina, N., & Tsitovich, A. (2010). The OpenSMT Solver The OpenSMT Solver Roberto Bruttomesso.
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley