JKelloy

swMATH9964MaRDI QIDQ21943FDOQ21943

Author name not available (Why is that?)

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