Login
Document type:
Technischer Report / Technical Report
Title:
Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program Analysis
Publishing institution:
Microsoft Research
Year:
2009
Language:
Englisch
Report number:
MSR-TR-2009-167
Open Access yes or no?:
Nein / No
BibTeX