Nick Battle
Scholar

Nick Battle

Google Scholar ID: wqyH_2EAAAAJ
Guest Member of Staff, Newcastle University
Industrial applications of formal specification
Citations & Impact
All-time
Citations
171
 
H-index
7
 
i10-index
6
 
Publications
20
 
Co-authors
0
 
Resume (English only)
Academic Achievements
  • Published papers (details can be found on ACM Authors page, ResearchGate, LinkedIn, and Google Scholar)
Background
  • Research Interests: Overture and VDM related fields
Miscellany
  • Personal website link: https://skylerhallinan.com/
Co-authors
0 total
Co-authors: 0 (list not available)