HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:executable specifications

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