Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Natarajan Shankar
Publications
Automated Formal Methods
Natarajan Shankar
and
Bruno Dutertre
(editors)
Kalpa Publications in Computing
, volume 5
A Brief Introduction to the PVS2C Code Generator
Natarajan Shankar
In
:
Automated Formal Methods
The Architecture of Inference from SMT to ETB
Natarajan Shankar
In
:
SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Keyphrases
code generation
,
executable specifications
,
specification language
.
Copyright © 2012-2019 easychair.org. All rights reserved.