K. Narayan Kumar

Identifiers

Open LibraryOL7975802A

Books by K. Narayan Kumar

Total count: 1

Automated Technology for Verification and Analysis15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Springer2017-10-04