Symbol Elimination in Program Analysis (bibtex)
by Laura Kovács
Reference:
Symbol Elimination in Program AnalysisLaura KovácsProceedings of the International Conference on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), volume P3964 of IEEE Computer Society, pages 12, 2012.
Bibtex Entry:
@inproceedings{SYNASC12Kovacs,
title = {Symbol Elimination in Program Analysis},
url = {/pubpdf/Symbol_Elimination_in_Program_Analysis.pdf},
series = {IEEE Computer Society},
booktitle = {Proceedings of the International Conference on Symbolic and Numeric
Algorithms for Scientific Computing (SYNASC)},
author = {Laura Kov\'acs},
volume = {P3964},
year = {2012},
pages = {12},
}
Powered by bibtexbrowser