Mathematics of Program Construction, 10Th International Conference, Mpc 2010, Québec City, Canada, June 21-23, 2010. Proceedings
AuthID
P-00M-PSJ
P-00M-PSJ
© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service