Author:
Oda Tomohiro,Araki Keijiro,Yamamoto Yasuhiro,Nakakoji Kumiyo,Sako Hiroshi,Chang Han-Myung,Larsen Peter Gorm
Publisher
Springer International Publishing
Reference9 articles.
1. Arloing, T., Dubois, Y., Ducasse, S., Cassou, D.: Pillar: a versatile and extensible lightweight markup language. In: Proceedings of the 11th Edition of the International Workshop on Smalltalk Technologies, p. 25. ACM (2016)
2. Lecture Notes in Computer Science;T Kurita,2008
3. Larsen, P.G.: Ten years of historical development: “Bootstrapping” VDMTools. J. Univ. Comput. Sci. 7(8), 692–709 (2001)
4. Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative - integrating tools for VDM. SIGSOFT Softw. Eng. Notes 35(1), 1–6 (2010).
https://doi.org/10.1145/1668862.1668864
5. Larsen, P.G., et al.: VDM-10 language manual. Technical report, TR-001, The Overture Initiative, April 2013.
www.overturetool.org