TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: English
Number of items: 1.


Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike Beyer, Dirk and Keller, Chantal (eds.) (2019):
When are Software Verification Results valid for Approximate Hardware?
In: TAP 2019-13th International Conference on Tests and Proofs, Porto, Portugal, 9.-11.10.2019, ISBN 978-3-030-31157-5,
DOI: 10.1007/978-3-030-31157-5_1,
[Online-Edition: https://link.springer.com/book/10.1007/978-3-030-31157-5],
[Conference or Workshop Item]

This list was generated on Sat Sep 26 00:22:29 2020 CEST.