From semantic Web to expressive specifications: A modeling languages spectrum

• المؤلف الرئيسي: Dong, J.S.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: Conference or Workshop Item
• منشور في: 2013
• الموضوعات: Languages; Verification
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/40011

Proceedings - International Conference on Software Engineering