Kumo
From MaRDI portal
Cited in
(5)- Hidden coinduction: behavioural correctness proofs for objects
- scientific article; zbMATH DE number 1342345 (Why is no real title available?)
- Web-based support for cooperative software engineering
- scientific article; zbMATH DE number 1497796 (Why is no real title available?)
- Rewriting-based verification of authentication protocols
This page was built for software: Kumo
