Right or Wrong - Understanding How Users Write Software Models in Alloy.

Ana Jovanovic, Allison Sullivan

Browse the full SEFM paper archive.