The following pages link to Temesghen Kahsai (Q3184733):
Displaying 7 items.
- Property Preserving Refinement for Csp-Casl (Q3184734) (← links)
- Finding Inconsistencies in Programs with Loops (Q3460079) (← links)
- Implementing Spi Calculus Using Nominal Techniques (Q3507444) (← links)
- Automated analysis of Stateflow models (Q4645732) (← links)
- Quantified Heap Invariants for Object-Oriented Programs (Q4645747) (← links)
- (Q4997233) (← links)
- (Q5015367) (← links)
