ngôn ngữ đặc tả và xác minh hình thức

Luận văn thạc sĩ VNU UET nghiên cứu chứng minh tự động theorem proving trong CafeOBJ003, khám phá ứng dụng và tiềm năng trong lập trình.