JKelloy

MaRDI QIDQ21943swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-319-06200-6_13

Cited in

(3)

• Athena
• Kelloy
• A proof assistant for Alloy specifications

This page was built for software: JKelloy