APA (7th ed.) Citation

(2016). Rewriting modulo SMT and open system analysis.

Chicago Style (17th ed.) Citation

Rewriting Modulo SMT and Open System Analysis. 2016.

MLA (8th ed.) Citation

Rewriting Modulo SMT and Open System Analysis. 2016.

Warning: These citations may not always be 100% accurate.