Pages that link to "Item:Q5428881"
From MaRDI portal
The following pages link to Fundamental Approaches to Software Engineering (Q5428881):
Displaying 6 items.
- Reducing behavioural to structural properties of programs with procedures (Q385023) (← links)
- Compositional verification of sequential programs with procedures (Q937300) (← links)
- Formal methods for smart cards: an experience report (Q1776578) (← links)
- Source code verification of a secure payment applet (Q1881671) (← links)
- The PACAP prototype: A tool for detecting Java card illegal flow (Q2771740) (← links)
- CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties (Q3067539) (← links)