Anitha R. Marneni

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Qing Yi, Jianwei Niu, Anitha R. Marneni
Collective Specification and Verification of Behavior Models and Object-oriented Implementations. ICSOFT (2) (2011)