EasyChair Smart SlideUser guide
Author: Mattias Ulbrich

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

Generating Mutation Tests Using an Equivalence Prover

Generating Mutation Tests Using an Equivalence Prover

Christian Martin and Mattias Ulbrich

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