HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:local theory extensions

Papers
On Inductive Verification and Synthesis
Dennis Peuter and Viorica Sofronie-Stokkermans
In:Selected Student Contributions and Workshop Papers of LuxLogAI 2018
Copyright © 2012-2023 easychair.org. All rights reserved.