Conference
Towards Abstraction for DynAlloy Specifications.
Authors
Aguirre N; Frias MF; Ponzio P; Cardiff BJ; Galeotti JP; Regis G
Editors
Liu S; Maibaum TSE; Araki K
Series
Lecture Notes in Computer Science
Volume
5256
Pagination
pp. 207-225
Publisher
Springer
Publication Date
2008
ISBN-13
978-3-540-88193-3
Conference proceedings
ICFEM