Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers

von Rasheed, Junaid
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)