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