K.B. Mulchandani

KM

Statistics

Publications

1

Citations

109

H-Index

1

Active since

2008

K.B. Mulchandani is an author at Atal Bihari Vajpayee Indian Institute of Information Technology and Management specializing in formal methods, formal verification, and mechanical systems.

Publications per year

2008–2008

1

Publications

1