[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Author Index

• 文件大小118.73KB
• 发表时间2009
• DOI10.1109/sefm.2009.40
• 页码325-325