Manjunath Ramachandra

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Formal Verification

Technical Advances

Inter Disciplinary

Top Venues

ISSRE (Supplemental Proceedings)

ISSRE Workshops

Publications