swMATH6964MaRDI QIDQ19027FDOQ19027
Author name not available (Why is that?)
Official website: http://cseweb.ucsd.edu/~goguen/sys/2obj.html
Cited In (9)
- 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
- 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
