The following pages link to Michael A. Colón (Q859957):
Displaying 8 items.
- Polynomial approximations of the relational semantics of imperative programs (Q859958) (← links)
- (Q2769578) (← links)
- Generalizing the Template Polyhedral Domain (Q3000579) (← links)
- (Q4804915) (← links)
- Schema-Guided Synthesis of Imperative Programs by Constraint Solving (Q5458801) (← links)
- Static Analysis (Q5466568) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898613) (← links)
- Computer Aided Verification (Q5900703) (← links)
