Kumo
From MaRDI portal
Software:19026
No author found.
Related Items (5)
Hidden coinduction: behavioural correctness proofs for objects ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Web-based support for cooperative software engineering
This page was built for software: Kumo