DynAlloy

swMATH39829MaRDI QIDQ55529FDOQ55529

Author name not available (Why is that?)

Cited In (2)

• A static semantics for Alloy and its impact in refactorings
• Efficient bounded model checking of heap-manipulating programs using tight field bounds

This page was built for software: DynAlloy