Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Cliff Jones
Publications
Can a system learn from interactive proofs?
Leo Freitas
,
Cliff B. Jones
and
Andrius Velykis
In
:
HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Abstractions Before Proofs
Cliff Jones
In
:
VERIFY-2010. 6th International Verification Workshop
Copyright © 2012-2025 easychair.org. All rights reserved.
