Software Engineering and Formal Methods - 22Nd International Conference, Sefm 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
AuthID
P-017-Q9H
P-017-Q9H
© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service