EasyChair Smart SlideDocs/Log in
Author: Peter Schachte

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

An iterative approach to precondition inference using constrained Horn clauses

An iterative approach to precondition inference using constrained Horn clauses

Bishoksan Kafle, John Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter J. Stuckey

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair