An animation approach to develop C++ code from Object-Z specifications

2011 CSI International Symposium on Computer Science and Software Engineering (CSSE) ◽

10.1109/csicsse.2011.5963990 ◽

2011 ◽

Author(s):

Mehrnaz Najafi ◽

Hassan Haghighi

Download Full-text