Luận án tiến sĩ về kiểm chứng phần mềm dựa trên biểu đồ tuần tự trong công nghệ thông tin