EasyChair Smart SlideUser guide
Conference: Isabelle 2022 (Isabelle Workshop 2022)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Oracle Integration of Floating-Point Solvers with Isabelle

Oracle Integration of Floating-Point Solvers with Isabelle

Olle Torstensson and Tjark Weber

A Verified Implementation of B-Trees in Isabelle/HOL

A Verified Implementation of B-Trees in Isabelle/HOL

Niels Mündler and Tobias Nipkow

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair