Ana Jovanovic, Allison Sullivan. Right or Wrong - Understanding How Users Write Software Models in Alloy. In Alexandre Madeira, Alexander Knapp, editors, Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. Volume 15280 of Lecture Notes in Computer Science, pages 309-327, Springer, 2024. [doi]
Abstract is missing.