The following pages link to Alessandro Coglio (Q219436):
Displaying 8 items.
- (Q4222995) (← links)
- (Q4499163) (← links)
- (Q4518871) (← links)
- Improving the official specification of Java bytecode verification (Q4794727) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
- Second-order functions and theorems in ACL2 (Q6591103) (← links)
- A versatile, sound tool for simplifying definitions (Q6591110) (← links)
- Isomorphic data type transformations (Q6591499) (← links)
