Showing 1 - 2 results of 2 for search 'Lahiri, Shuvendu', query time: 0.01s Refine Results
  1. 1
    Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
    Published 2017
    Other Authors: “…Lahiri, Shuvendu…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
    Published 2018
    Other Authors: “…Lahiri, Shuvendu K.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search