Items where Author is "Simic, Stella"

Group by: Item Type | Date | No Grouping

Jump to: 2022

Number of items: 1.

2022

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 Sun Dec 22 00:01:22 2024 CET.

E-Theses is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.