Result: An animation approach to develop C++ code from Object-Z specifications
Title:
An animation approach to develop C++ code from Object-Z specifications
Authors:
Source:
2011 CSI International Symposium on Computer Science and Software Engineering (CSSE) Computer Science and Software Engineering (CSSE), 2011 CSI International Symposium on. :9-16 Jun, 2011
Relation:
2011 CSI International Symposium on Computer Science and Software Engineering (CSSE 2011)
Database:
IEEE Xplore Digital Library