Lavanya L

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Inter Annotator Agreement

Annotation Tool

Top Venues

Publications

Sriya S, Lavanya L, Aditi M. Manohar, N. S. Kumar
Verification of C Programs using Annotations. T4E (2019)