Kelloy

MaRDI QIDQ21942swMATHFDO

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