This page shows all presentations of this author published in EasyChair Smart Slide.
Procedure-Modular Termination Analysis
Cristina David, Daniel Kroening and Peter Schrammel