HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:specification language

Papers
A Brief Introduction to the PVS2C Code Generator
Natarajan Shankar
In:Automated Formal Methods
Constraint Problem Specification as Compression
Steven Prestwich, S. Armagan Tarim and Roberto Rossi
In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Copyright © 2012-2023 easychair.org. All rights reserved.