↓ Skip to main content

How to Guarantee Finite Termination of Verifying Global Optimization Codes

Overview of attention for article published in Reliable Computing, February 1999
Altmetric Badge

Mentioned by

q&a
1 Q&A thread