Cover von Combining Tools for Optimization and Analysis of Floating-Point Computations opens in new tab

Combining Tools for Optimization and Analysis of Floating-Point Computations

article in International Symposium on Formal Methods : FM 2018 : LNCS 10951
Search for this author
Year: 2018
Publisher: Berlin, Springer
Media group: ARTICLE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: BECKER HEIKO Location 2: 2nd FLOOR Location 3: DAGSTUHL IMPACTS Status: reference collection

Details

Search for this author
Year: 2018
Publisher: Berlin, Springer
Works included: Dagstuhl Seminar 17352
opens in new tab
Search for this systematic
Search for this subject type
Description: pp 355-363
Participating parties: Search for this character Becker, Heiko; Panchekha, Pavel; Darulova, Eva; Tatlock, Zachary
Media group: ARTICLE