2OBJ
From MaRDI portal
Cited in
(9)- Twenty years of rewriting logic
- FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY
- An algebraic approach to compiler design
- scientific article; zbMATH DE number 1418819 (Why is no real title available?)
- scientific article; zbMATH DE number 1231543 (Why is no real title available?)
- Strategies and simulations in a semantic framework
- OBJ3
- Gordon's computer: A hardware verification case study in OBJ3
- An Oxford survey of order sorted algebra
This page was built for software: 2OBJ
