EasyChair Smart SlideDocs/Log in
Author: Samuel Teuber

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

Quantifying Software Reliability via Model-Counting

Quantifying Software Reliability via Model-Counting

Samuel Teuber and Alexander Weigl

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