[IEEE 2009 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) - Hanoi (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - [Front cover]

• 文件大小4519.49KB
• 发表时间2009
• DOI10.1109/sefm.2009.42