Program Verification in the presence of complex numbers, functions with branch cuts etc

Research output: Contribution to conferencePaperpeer-review

26 Citations (SciVal)
130 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Program Verification in the presence of complex numbers, functions with branch cuts etc'. Together they form a unique fingerprint.

Mathematics