Universität der Bundeswehr München: AtheneForschung
Logo
User: Guest  Login
Document type:
Patent
Patent number:
US8782625B2
Inventor:
Godefroid, Patrice; Kinder, Johannes
Patent applicant:
Microsoft Corporation
Title:
Memory Safety of Floating-Point Computations
Country of patent application:
Vereinigte Staaten von Amerika
Application number:
12817227
Date of patent application:
17.06.2010
Date of publication:
22.12.2011
Year:
2010
Pages:
6
Language:
Englisch
Full text URL:
https://assignment.uspto.gov/patent/index.html#/patent/search/resultAbstract?id=8782625&type=patNum