it Symbol Elimination in Program Analysis (bibtex)
by Laura Kovács
Reference:
it Symbol Elimination in Program AnalysisLaura KovácsNovember 2012, Habilitation Thesis, Vienna University of Technology, Austria.
Bibtex Entry:
@misc{Habil12_Kovacs,
language = {english},
title = {\it Symbol Elimination in Program Analysis},
url = {/pubpdf/_it_Symbol_Elimination_in_Program_Analysis.pdf},
author = {Laura Kov\'acs},
month = {November},
year = {2012},
howpublished = {Habilitation Thesis, Vienna University of Technology, Austria},
}
Powered by bibtexbrowser