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