Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Titel Konferenzpublikation:
ISSTA '10 Proceedings of the 19th international symposium on Software testing and analysis
Untertitel Konferenzpublikation:
Trento, Italy — July 12 - 16, 2010
Konferenztitel:
International Symposium on Software Testing and Analysis (19., 2010, Trento)
Tagungsort:
Trento, Italy
Jahr der Konferenz:
2010
Datum Beginn der Konferenz:
12.07.2010
Datum Ende der Konferenz:
16.07.2010
Verlagsort:
New York, NY
Verlag:
ACM
Jahr:
2010
Seiten von - bis:
1-12
Sprache:
Englisch
ISBN:
978-1-60558-823-0
URL zum Inhalt:
Open Access ja oder nein?:
Ja / Yes
BibTeX