Pages that link to "Item:Q5312984"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312984):
Displaying 8 items.
- Formal methods for smart cards: an experience report (Q1776578) (← links)
- Source code verification of a secure payment applet (Q1881671) (← links)
- Algebraic Methodology and Software Technology (Q5313002) (← links)
- Fundamental Approaches to Software Engineering (Q5316441) (← links)
- Verification by Parallelization of Parametric Code (Q5426003) (← links)
- Fundamental Approaches to Software Engineering (Q5428881) (← links)
- Verification of Java Programs with Generics (Q5505432) (← links)
- FM 2005: Formal Methods (Q5716885) (← links)