Universität der Bundeswehr München: AtheneForschung
User: Guest
 
Login
de
en
Advanced search
Home / All Content
Publications (University Bibliography)
Fakultäten (univ.)
(21937)
Fakultäten (HAW)
(1736)
Forschungszentren und -initiativen
(2043)
CISS
(89)
CODE
(866)
dtec.bw
(287)
INDOR
(433)
MARC
(11)
MOVE
(14)
RISK
(269)
SENS
SPACE
(114)
Weitere Einrichtungen
(17)
Projects
Electronic Accepted Theses
Open Access Publications
Patents
Research Data
Research Profiles
Videos for the UniBw M Website
Digitized Media
Working Group E-Learning
University Library Documents
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
fpsafety-tr
Authors:
Godefroid, Patrice; Kinder, Johannes
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
Occurrences:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit