Lecture: Testing-Based Formal Verification for Software Quality Assurance and Cost Reduction

Topic: Testing-Based Formal Verification for Software Quality Assurance and Cost Reduction

When: 9:00 a.m., Tuesday, September 17, 2019

Where: Room A-311, Building No.55, Peiyang Park Campus

Lecturer: Prof. Liu Shaoying (Hosei University)

All students and staff of Tianjin University are welcome.