The following pages link to Sabine Glesner (Q2432237):
Displaying 5 items.
- Finite integer computations: An algebraic foundation for their correctness (Q2432238) (← links)
- Static Analysis of Run-Time Modes in Synchronous Process Network (Q3457971) (← links)
- (Q4413687) (← links)
- Refinement-Based Verification of Communicating Unstructured Code (Q4571128) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901599) (← links)