Tecton
From MaRDI portal
Software:40619
No author found.
Related Items (4)
Gordon's computer: A hardware verification case study in OBJ3 ⋮ An approach to literate and structured formal developments ⋮ New uses of linear arithmetic in automated theorem proving by induction ⋮ Constraint contextual rewriting.
This page was built for software: Tecton
