The following pages link to 2OBJ (Q19027):
Displayed 8 items.
- Gordon's computer: A hardware verification case study in OBJ3 (Q1329091) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- An Algebraic Approach to Compiler Design (Q2715820) (← links)
- (Q4222859) (← links)
- An Oxford survey of order sorted algebra (Q4322433) (← links)
- FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY (Q4781450) (← links)
- (Q4942101) (← links)
- Strategies and simulations in a semantic framework (Q5429558) (← links)