👤

Anton Wijs

2 books

Books by Anton Wijs

Concise Guide to Software Veri
Concise Guide to Software Verification
2024
Ifm 2023
Ifm 2023
2023