Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc.

James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson

Browse the full SYNASC paper archive.