...pháp kỹ thuật chính thức, ICFEM 2005, Manchester, UK, ngày 1 tháng 11 năm 2005 **
** hashtags: ** #formalmethods #SoftwareEngineering #ICFEM2005
** Viết lại bài viết: **
Hội nghị quốc tế lần thứ 7 về phương pháp kỹ thuật chính thức (ICFEM 2005) đã được tổ chức tại Manchester, UK, từ ngày...