Statistics
Publications
3
Citations
165
H-Index
3
Active since
2000
Affiliations
Carnegie Mellon University(Current)
B.I. Silva is an author at Carnegie Mellon University specializing in formal methods, computing, and computer science.
Publications per year
2000–2003
3
3