Case Studies on Invariant Generation Using a Saturation Theorem Prover (bibtex)
by Krytsof Hoder, Laura Kovács, Andrei Voronkov
Reference:
Case Studies on Invariant Generation Using a Saturation Theorem ProverKrytsof Hoder, Laura Kovács, Andrei VoronkovProceedings of the Mexican International Conference on Artificial Intelligence (MICAI), volume 7094 of LNAI, pages 1-15, 2011.
Bibtex Entry:
@inproceedings{MICAI11Kovacs,
title = {Case Studies on Invariant Generation Using a Saturation Theorem Prover},
url = {/pubpdf/Case_Studies_on_Invariant_Generation_Using_a_Saturation_Theorem_Prover.pdf},
series = {LNAI},
booktitle = {Proceedings of the Mexican International Conference on Artificial
Intelligence (MICAI)},
author = {Krytsof Hoder and Laura Kov\'acs and Andrei Voronkov},
volume = {7094},
year = {2011},
pages = {1-15},
}
Powered by bibtexbrowser