Alexander Bolotov
Scholar

Alexander Bolotov

Google Scholar ID: KXPH7OwAAAAJ
University of Westminster
logicautomated deductionformal specificationformal verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
705
 
H-index
15
 
i10-index
17
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)