Formal verification of concurrent and distributed constraint-based java programs

• المؤلفون الرئيسيون: Ramirez, R., Santosa, A.E.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: Conference or Workshop Item
• منشور في: 2013
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/40995

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS