"Proving Properties of Sorting Programs: A Case Study in Horn Clause ..."

Emanuele De Angelis et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics