Formal methods and software engineering : 8th International Conference on Formal Engineering
Methods, IFCEM 2006, Macao, China, November 1-3, 2006, proceedings / Z. Liu, J. He
(eds), 2006
Information trouvée : Chercheur au UNU-IIS, à Macao (Chine) en 2006