HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:executable specifications

Publications
Specifying and Verbalising Answer Set Programs in Controlled Natural Language
Rolf Schwitter
EasyChair Preprint 194
A Brief Introduction to the PVS2C Code Generator
Natarajan Shankar
In:Automated Formal Methods
Copyright © 2012-2025 easychair.org. All rights reserved.