Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
theory formation
Papers
HipSpec : Automating Inductive Proofs of Program Properties
Koen Claessen
,
Moa Johansson
,
Dan Rosén
and
Nicholas Smallbone
In
:
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Copyright © 2012-2023 easychair.org. All rights reserved.