APA (7th ed.) Citation

Battle, N., & Larsen, P. G. (2025). Towards Operation Proof Obligation Generation for VDM.

Chicago Style (17th ed.) Citation

Battle, Nick, and Peter Gorm Larsen. Towards Operation Proof Obligation Generation for VDM. 2025.

MLA (9th ed.) Citation

Battle, Nick, and Peter Gorm Larsen. Towards Operation Proof Obligation Generation for VDM. 2025.

Warning: These citations may not always be 100% accurate.