Pages that link to "Item:Q2520685"

The following pages link to A parameterized floating-point formalizaton in HOL Light (Q2520685):

Displaying 3 items.

• A two-phase approach for conditional floating-point verification (Q2233493) (← links)
• Deductive verification of floating-point Java programs in KeY (Q2233510) (← links)
• Finding normal binary floating-point factors efficiently (Q6156639) (← links)