Formal Methods for Components and Objects, 7Th International Symposium, Fmco 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
AuthID
P-00F-YZE
P-00F-YZE
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service