![](/img/cover-not-exists.png)
[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
Regis, Germán, Cornejo, César, Gutiérrez Brida, Simón, Politano, Mariano, Raverta, Fernando, Ponzio, Pablo, Aguirre, Nazareno, Galeotti, Juan Pablo, Frias, MarceloYear:
2017
Language:
english
DOI:
10.1145/3106237.3122826
File:
PDF, 573 KB
english, 2017