Đào Thị Hường, Viet Nam

• Tạp chí Khoa học Trường Đại học Hải Phòng: Kinh tế và Kỹ thuật - Công nghệ No. 40 (2020): Tạp chí Khoa học số 40 (5/2020) - Bài viết
  Phương pháp hình thức kiểm chứng hệ thống ATM sử dụng JML
  Abstract  PDF (Vietnamese)