Lingva: Generating and Proving Program Properties using Symbol Elimination (bibtex)
by Ioan Dragan, Laura Kovács
Reference:
Lingva: Generating and Proving Program Properties using Symbol EliminationIoan Dragan, Laura KovácsProceedings of the 9th International Andrei Ershov Memorial Conference - Perspectives of Systems Informatic (PSI), 2014.
Bibtex Entry:
@inproceedings{KovacsPSI14,
title = {Lingva: Generating and Proving Program Properties using Symbol Elimination},
url = {/pubpdf/Lingva14.pdf},
booktitle = {Proceedings of the 9th International Andrei Ershov Memorial Conference
- Perspectives of Systems Informatic (PSI)},
author = {Ioan Dragan and Laura Kov{\'a}cs},
year = {2014},
}
Powered by bibtexbrowser