The following pages link to Patrick Maier (Q2702009):
Displaying 8 items.
- (Q2702010) (← links)
- Deciding Extensions of the Theories of Vectors and Bags (Q3600479) (← links)
- Safety Guarantees from Explicit Resource Management (Q3602994) (← links)
- (Q4417869) (← links)
- (Q4535065) (← links)
- Computer Science Logic (Q5311264) (← links)
- Computer Science Logic (Q5394591) (← links)
- FM 2005: Formal Methods (Q5716897) (← links)
