Statistics
Publications
1
Citations
16
H-Index
1
Active since
1996
Affiliations
University of Bath(Current)
Mike Ainsworth is an author at University of Bath specializing in viewpoint composition, systems architecture, and deductive verification.
Publications per year
1996–1996
1
1
1–1 of 1