External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Collective Specification and Verification of Behavior Models and Object-oriented Implementations

Qing Yi, Jianwei Niu, Anitha R. Marneni. Collective Specification and Verification of Behavior Models and Object-oriented Implementations. In María José Escalona Cuaresma, Boris Shishkov, José Cordeiro, editors, ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July, 2011. pages 15-24, SciTePress, 2011.

Authors

Qing Yi

This author has not been identified. Look up 'Qing Yi' in Google

Jianwei Niu

This author has not been identified. Look up 'Jianwei Niu' in Google

Anitha R. Marneni

This author has not been identified. Look up 'Anitha R. Marneni' in Google
runs on