HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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.