2OBJ
From MaRDI portal
Software:19027
No author found.
Related Items (8)
FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY ⋮ Gordon's computer: A hardware verification case study in OBJ3 ⋮ Unnamed Item ⋮ Twenty years of rewriting logic ⋮ An Oxford survey of order sorted algebra ⋮ An Algebraic Approach to Compiler Design ⋮ Unnamed Item ⋮ Strategies and simulations in a semantic framework
This page was built for software: 2OBJ
