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