![](/img/cover-not-exists.png)
An approach to animate Object-Z specifications using C++
Najafi, M., Haghighi, H.Volume:
19
Language:
english
Journal:
Scientia Iranica
DOI:
10.1016/j.scient.2012.06.021
Date:
December, 2012
File:
PDF, 1.08 MB
english, 2012