Pages that link to "Item:Q4267724"

The following pages link to Automatic verification of functions with accumulating parameters (Q4267724):

Displaying 3 items.

• An integrated approach to high integrity software verification (Q861714) (← links)
• Deaccumulation techniques for improving provability (Q882487) (← links)
• Equivalence checking of two functional programs using inductive theorem provers (Q2410575) (← links)