Andrew Bowles

AB

3

Publications

69

Citations

3

H-Index

1992

Active since

Affiliations

Andrew Bowles is an author at University of Edinburgh specializing in formal methods, computer science, and automated reasoning.

Publications per year

1992–2009

3

Publications

3