Andrew Bowles is an author at University of Edinburgh specializing in formal methods, computer science, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningMedicineManagementDermatologyCell BiologyData ModelingTumor Biology
Publications per year
1992–2009
3
3
Rows per page
1–3 of 3