14
Publications
376
Citations
11
H-Index
2006
Active since
Juliana Bowles is an author at University of St Andrews specializing in engineering, formal verification, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationSoftware DesignAutomated ReasoningSystems EngineeringSoftware EngineeringMedicineData Modeling
Publications per year
2006–2022
14
14
Rows per page
1–5 of 14