Author:Peter Höfner

Publications
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation Jacques Fleuriot, Peter Höfner, Annabelle McIver and Alan Smaill (editors) EPiC Series in Computing, volume 17
Automated Higher-order Reasoning about Quantales Han-Hing Dang and Peter Höfner In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning