Nick Battle
Scholar

Nick Battle

Google Scholar ID: wqyH_2EAAAAJ
Guest Member of Staff, Newcastle University
Industrial applications of formal specification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
171
 
H-index
7
 
i10-index
6
 
Publications
20
 
Co-authors
0
 
Contact
LinkedInOpen ↗
Publications
2 items
Further Progress Towards Operation Proof Obligation Generation for VDM
2026
Cited
0
Towards Operation Proof Obligation Generation for VDM
2025
Cited
0
Resume
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/