Gustav Ung -

Not registered as user

Name:Gustav Ung

Contributions

2024

Requirements Engineering

Author of Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report within the Industrial Innovation Papers-track