Object oriented verifiable modeling environment (R)
Rapsang, Amanda Grace
Object oriented verifiable modeling environment (R) - - Mumbai IIT 2003 - vii,52 p. 30 cm - .
Sivakumar, G. and Moudgalya, Kannan M.
Theses and Dissertations
Objected oriented programming (Computer science)-Verification , Object oriented programming(Computer science)-Mathematical models
043:681.3.06:519.28Rap
Object oriented verifiable modeling environment (R) - - Mumbai IIT 2003 - vii,52 p. 30 cm - .
Sivakumar, G. and Moudgalya, Kannan M.
Theses and Dissertations
Objected oriented programming (Computer science)-Verification , Object oriented programming(Computer science)-Mathematical models
043:681.3.06:519.28Rap