Sound Probabilistic Numerical Error Analysis

Lohar, Debasmita; Prokop, Milos; Darulova, Eva

doi:10.1007/978-3-030-34968-4_18

Local TagsRelease HistoryDetailsSummary

Sound Probabilistic Numerical Error Analysis

Lohar, D., Prokop, M., & Darulova, E. (2019). Sound Probabilistic Numerical Error Analysis. In W. Ahrendt, & S. L. Tapia Tarifa (Eds.), Integrated Formal Methods (pp. 322-340). Berlin: Springer. doi:10.1007/978-3-030-34968-4_18.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0005-E2EF-F Version Permalink: https://hdl.handle.net/21.11116/0000-0005-E305-5

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Lohar, Debasmita¹, Author
Prokop, Milos², Author
Darulova, Eva¹, Author

Affiliations:
1Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society, ou_2541697
2External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2019Date issued: 2019

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Lohar_IFM2019
DOI: 10.1007/978-3-030-34968-4_18

Degree: -

Event

show

hide

Title: 15th International Conference on Integrated Formal Methods

Place of Event: Bergen, Norway

Start-/End Date: 2019-12-02 - 2019-12-06

Legal Case

show

Project information

show

Source 1

show

hide

Title: Integrated Formal Methods

Subtitle : 15th International Conference, IFM 2019 ; Bergen, Norway, December 2–6, 2019 ; Proceedings

Abbreviation : IFM 2019

Source Genre: Proceedings

Creator(s):
Ahrendt, Wolfgang¹, Editor
Tapia Tarifa, Silvia Lizeth¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 322 - 340 Identifier: ISBN: 978-3-030-34967-7