The following pages link to Christoph Sprenger (Q937299):
Displayed 7 items.
- Compositional verification of sequential programs with procedures (Q937300) (← links)
- Cutoff bounds for consensus algorithms (Q2164223) (← links)
- A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols (Q3523184) (← links)
- (Q4417874) (← links)
- On global induction mechanisms in a<i>μ</i>-calculus with explicit approximations (Q4460690) (← links)
- Sound Security Protocol Transformations (Q5326755) (← links)
- Fundamental Approaches to Software Engineering (Q5428881) (← links)