công nghệ phần mềm và lý thuyết chương trình

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.