EasyChair Smart SlideUser guide
Author: Bernhard Beckert

This page shows all presentations of this author published in EasyChair Smart Slide.

Towards LLM-support for Deductive Verification of Java Programs

Towards LLM-support for Deductive Verification of Java Programs

Samuel Teuber and Bernhard Beckert

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich and Alexander Weigl

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