HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:local theory extensions

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