Published February 9, 2023
| Version v1
Dataset
Open
An Empirical Study Assessing Software Modeling in Alloy
Authors/Creators
Description
VM for the Formalise Artifact 2023
Files
Files
(8.9 GB)
| Name | Size | |
|---|---|---|
|
md5:c5f19b1468d90f1cd49f411b6063fff8
|
8.9 GB | Download |