Kelloy

swMATH9963MaRDI QIDQ21942FDOQ21942

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-28756-5_29

Cited In (3)

• Athena
• JKelloy
• A proof assistant for Alloy specifications

This page was built for software: Kelloy