DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
ESEC-FSE, 2017.

ESEC FSE 2017
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ESEC-FSE-2017-RegisCBPRPAGF,
	author        = "Germán Regis and César Cornejo and Simón Gutiérrez Brida and Mariano Politano and Fernando Raverta and Pablo Ponzio and Nazareno Aguirre and Juan Pablo Galeotti and Marcelo F. Frias",
	booktitle     = "{Proceedings of the 11th Joint Meeting of the 16th European Software Engineering Conference and the 25th Symposium on the Foundations of Software Engineering}",
	doi           = "10.1145/3106237.3122826",
	isbn          = "978-1-4503-5105-8",
	pages         = "969--973",
	publisher     = "{ACM}",
	title         = "{DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour}",
	year          = 2017,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.