SMT Solving

Embedding SMT-LIB into B for Interactive Proof and Constraint Solving
Paper presentation.
Dec 6, 2019 11:30 AM — 12:00 PM Bergen, Norway
Project