Pages that link to "Item:Q2871841"
From MaRDI portal
The following pages link to Ensuring the correctness of lightweight tactics for JavaCard dynamic logic (Q2871841):
Displaying 4 items.
- Correctness of Java card method lookup via logical relations (Q1603654) (← links)
- Certified abstract cost analysis (Q2044174) (← links)
- Integrating ADTs in KeY and Their Application to History-Based Reasoning (Q6488468) (← links)
- Schematic program proofs with abstract execution. Theory and applications (Q6552501) (← links)