VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
created at Dec. 4, 2015, 8:15 p.m.
12 +0
20 +0
10 +0