Recent Trends in Algebraic Development Techniques - 26Th Ifip Wg 1.3 International Workshop, Wadt 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
AuthID
P-00Z-92C
P-00Z-92C
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service