Pages that link to "Item:Q5403084"
From MaRDI portal
The following pages link to On Automation of OTS/CafeOBJ Method (Q5403084):
Displaying 4 items.
- Principles of proof scores in CafeOBJ (Q1929233) (← links)
- A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method (Q2863871) (← links)
- Generic Proof Scores for Generate & Check Method in CafeOBJ (Q2945712) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902548) (← links)