Languages
Mukund, Madhavan.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings /
by:
Chakraborty, Supratik.; Mukund, Madhavan.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)