(2016). Rewriting modulo SMT and open system analysis.
Chicago Style (17th ed.) CitationRewriting Modulo SMT and Open System Analysis. 2016.
MLA (8th ed.) CitationRewriting Modulo SMT and Open System Analysis. 2016.
Warning: These citations may not always be 100% accurate.