Publications
Filters: Author is Nikolaj Bjørner [Clear All Filters]
, “Automatic Verification of TLA + Proof Obligations with SMT Solvers”, in 18th Intl. Conf. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18), Mérida, Venezuela, 2012.
