HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Language-parametric

Publications
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties
Jan Tušil, Traian Serbanuta and Jan Obdrzalek
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2025 easychair.org. All rights reserved.