2OBJ
From MaRDI portal
Software:19027
swMATH6964MaRDI QIDQ19027FDOQ19027
Author name not available (Why is that?)
Cited In (8)
- FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY
- Twenty years of rewriting logic
- Title not available (Why is that?)
- An algebraic approach to compiler design
- Title not available (Why is that?)
- Strategies and simulations in a semantic framework
- Gordon's computer: A hardware verification case study in OBJ3
- An Oxford survey of order sorted algebra
This page was built for software: 2OBJ
