The following pages link to LARCH (Q14670):
Displaying 4 items.
- Program Development in Computational Logic (Q5712536) (← links)
- The deductive IDEF1X data model of a tooling system (Q5717987) (← links)
- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method (Q5757932) (← links)
- Modular specification and verification of object-oriented programs (Q5960651) (← links)