The following pages link to Thomas Ball (Q1856259):
Displaying 19 items.
- Sisl: Several interfaces, single logic (Q1856265) (← links)
- (Q2753756) (← links)
- (Q2769585) (← links)
- (Q2769592) (← links)
- (Q4472235) (← links)
- (Q4531754) (← links)
- (Q4553257) (← links)
- Monotonically Controlled Integrals (Q5222999) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308422) (← links)
- Predicate Abstraction via Symbolic Decision Procedures (Q5310686) (← links)
- Computer Aided Verification (Q5312923) (← links)
- Zap: Automated Theorem Proving for Software Analysis (Q5387827) (← links)
- Leaping Loops in the Presence of Abstraction (Q5429340) (← links)
- Better Under-Approximation of Programs by Hiding Variables (Q5452617) (← links)
- Vacuity in Testing (Q5458808) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705922) (← links)
- Computer Aided Verification (Q5716593) (← links)
- Computer Aided Verification (Q5716599) (← links)
- Formal Methods for Components and Objects (Q5897443) (← links)
