Anitha R. Marneni

According to our database, Anitha R. Marneni authored at least 1 paper in 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

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

Qing Yi, Jianwei Niu, Anitha R. Marneni

Proceedings of the ICSOFT 2011, 2011