Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Combining Tools for Optimization and Analysis of Floating-Point Computations

Becker, H., Panchekha, P., Darulova, E., & Tatlock, Z. (2018). Combining Tools for Optimization and Analysis of Floating-Point Computations. In K. Havelund, J. Peleska, B. Roscoe, & E. de Vink (Eds.), Formal Methods (pp. 355-363). Berlin: Springer. doi:10.1007/978-3-319-95582-7_21.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0003-35A4-8 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0003-35A5-7
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Becker, Heiko1, Autor
Panchekha, Pavel1, Autor
Darulova, Eva2, Autor           
Tatlock, Zachary1, Autor
Affiliations:
1External Organizations, ou_persistent22              
2Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society, ou_2541697              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20182018
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Becker_FM2018
DOI: 10.1007/978-3-319-95582-7_21
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 22nd International Symposium on Formal Methods
Veranstaltungsort: Oxford, UK
Start-/Enddatum: 2018-07-15 - 2018-07-17

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Formal Methods
  Untertitel : 22nd International Symposium, FM 2018 ; Held as Part of the Federated Logic Conference, FloC 2018 ; Oxford, UK, July 15-17, 2018 ; Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Havelund, Klaus1, Herausgeber
Peleska, Jan1, Herausgeber
Roscoe, Bill1, Herausgeber
de Vink, Erik1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 355 - 363 Identifikator: ISBN: 978-3-319-95581-0

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 10951 Artikelnummer: - Start- / Endseite: - Identifikator: -