EasyChair Smart Slide
Oracle Integration of Floating-Point Solvers with Isabelle
Oracle Integration of Floating-Point Solvers with Isabelle