Modelling and Specifying Software Systems with Alloy (tutorial)

TitleModelling and Specifying Software Systems with Alloy (tutorial)
Publication TypeConference Paper
Year of Publication2019
AuthorsGallardo M-del-M, Panizo L
Conference NameJornadas de la Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software SISTEDES. XIX Jornadas de Programación y Lenguajes (PROLE)
PublisherSISTEDES
Conference LocationCáceres
URLhttp://hdl.handle.net/11705/PROLE/2019/015