Pages that link to "Item:Q1881671"
From MaRDI portal
The following pages link to Source code verification of a secure payment applet (Q1881671):
Displaying 6 items.
- Formal methods for smart cards: an experience report (Q1776578) (← links)
- Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666) (← links)
- Algebraic Methodology and Software Technology (Q5313002) (← links)
- Fundamental Approaches to Software Engineering (Q5316441) (← links)
- Fundamental Approaches to Software Engineering (Q5428881) (← links)
- FM 2005: Formal Methods (Q5716885) (← links)