View of A Formal Proof of Square Root and Division Elimination in Embedded Programs

Return to Article Details A Formal Proof of Square Root and Division Elimination in Embedded Programs Download Download PDF