HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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-2021 easychair.org. All rights reserved.