The following pages link to Andreas Griesmayer (Q414905):
Displaying 5 items.
- Finding and fixing faults (Q414907) (← links)
- Model-checking user behaviour using interacting components (Q1047208) (← links)
- Testing Concurrent Objects with Application-Specific Schedulers (Q5505611) (← links)
- Computer Aided Verification (Q5716562) (← links)
- Repair of Boolean Programs with an Application to C (Q5756732) (← links)
