Login / Signup
Efficient and Correct by Construction Assertion-Based Synthesis.
Katell Morin-Allory
Fatemeh Negin Javaheri
Dominique Borrione
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (2015)
Keyphrases
</>
database
computationally expensive
construction process
information technology
program synthesis