Christian Uhrhan

Affiliations:

According to our database¹, Christian Uhrhan authored at least 1 paper in 2012.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2012

Some Steps into Verification of Exact Real Arithmetic.

[DOI]

Proceedings of the NASA Formal Methods, 2012