Kumo

swMATH6963MaRDI QIDQ19026FDOQ19026

Author name not available (Why is that?)

Official website: http://cseweb.ucsd.edu/groups/tatami/kumo/

Cited In (5)

• Hidden coinduction: behavioural correctness proofs for objects
• Title not available (Why is that?)
• Web-based support for cooperative software engineering
• Title not available (Why is that?)
• Rewriting-based verification of authentication protocols

This page was built for software: Kumo