Logo eprints

Browse by Co-Advisor

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

IMT PhD Thesis

Simic, Stella (2022) Bit-precise Verification of Numerical Properties in Fixed-point Programs. Advisor: Tribastone, Prof. Mirco. Coadvisor: Inverso, Dr. Omar . pp. 163. [IMT PhD Thesis]

This list was generated on Tue May 30 10:01:27 2023 CEST.