Text this

Number:

Provider:

CAPTCHA:

  ____       ___    __    __     ___     __   __  
 |  _ \\    / _ \\  \ \\ / //   / _ \\   \ \\/ // 
 | |_| ||  / //\ \\  \ \/ //   / //\ \\   \   //  
 | .  //  |  ___  ||  \  //   |  ___  ||  / . \\  
 |_|\_\\  |_||  |_||   \//    |_||  |_|| /_//\_\\ 
 `-` --`  `-`   `-`     `     `-`   `-`  `-`  --`

Please enter what you see:

Text this: Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng Event - B