The following pages link to (Q3753930):
Displaying 7 items.
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Accelerating tableaux proofs using compact representations (Q1334905) (← links)
- Structuring and automating hardware proofs in a higher-order theorem- proving environment (Q1801500) (← links)
- (Q3753927) (← links)
- Abstraction of hardware construction (Q4645815) (← links)
- (Q4738486) (← links)
- (Q5506350) (← links)