Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc | IEEE Conference Publication | IEEE Xplore