Statistics
Publications
1
Citations
24
H-Index
1
Active since
2018
Affiliations
University of Washington(Current)
Bruno Castro-Karney is an author at University of Washington specializing in computer security, formal methods, and deductive verification.
Publications per year
2018–2018
1
1