Author:
Treharne Helen,Turner Edward,Paige Richard F.,Kolovos Dimitrios S.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: Atl: A model transformation tool. Sci. Comput. Program. 72(1-2), 31–39 (2008)
2. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
3. Abrial, J.R.: The B Book: Assigning programs to meanings. Cambridge University Press, New York (1996)
4. Software Design Group at MIT: Alloy Analyser 4.1.2 (2008)
5. Kolovos, D.S., Paige, R.F.: The Epsilon model management platform (2009)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献