Mike Holcombe

MH

62

Publications

3K

Citations

32

H-Index

1988

Active since

Mike Holcombe is an author at University of Sheffield specializing in engineering, computer science, and formal methods.

Publications per year

1988–2020

62

Publications

62