Login
Dokumenttyp:
Technischer Report / Technical Report
Titel:
Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program Analysis
Verlegende Institution:
Microsoft Research
Jahr:
2009
Sprache:
Englisch
Reportnummer:
MSR-TR-2009-167
Open Access ja oder nein?:
Nein / No
BibTeX