Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Title of conference publication:
ISSTA '10 Proceedings of the 19th international symposium on Software testing and analysis
Subtitle of conference publication:
Trento, Italy — July 12 - 16, 2010
Conference title:
International Symposium on Software Testing and Analysis (19., 2010, Trento)
Venue:
Trento, Italy
Year of conference:
2010
Date of conference beginning:
12.07.2010
Date of conference ending:
16.07.2010
Place of publication:
New York, NY
Publisher:
ACM
Year:
2010
Pages from - to:
1-12
Language:
Englisch
ISBN:
978-1-60558-823-0
Open Access yes or no?:
Ja / Yes
BibTeX