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

James Davenport, Russell Bradford, Matthew England, David Wilson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Citations (Scopus)
115 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