Scholar
Alexander Bolotov
Google Scholar ID: KXPH7OwAAAAJ
University of Westminster
logic
automated deduction
formal specification
formal verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
705
H-index
15
i10-index
17
Publications
20
Co-authors
0
