Erik Brockbank

EB

2

Publications

40

Citations

2

H-Index

2021

Active since

Erik Brockbank is an author at University of California San Diego specializing in automated reasoning, reasoning, and formal methods.

Publications per year

2021–2021

2

Publications

2