Pages that link to "Item:Q5757932"
From MaRDI portal
The following pages link to Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method (Q5757932):
Displayed 4 items.
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Principles of proof scores in CafeOBJ (Q1929233) (← links)
- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method (Q5403083) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)