Software Engineering and Formal Methods - 9Th International Conference, Sefm 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
AuthID
P-00F-Z67
P-00F-Z67
© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service