Embedding SMT-LIB into B for Interactive Proof and Constraint Solving.

Sebastian Krings, Michael Leuschel

Browse the full IFM paper archive.