Sebastian Krings
Papers
Talks
SMT Solving
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving
iFM 2019, Bergen, Norway