Pages that link to "Item:Q2871841"

The following pages link to Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic (Q2871841):

Displaying 2 items.

• Certified abstract cost analysis (Q2044174) (← links)
• Schematic program proofs with abstract execution. Theory and applications (Q6552501) (← links)