Arama sonucunda 1 kayıt bulundu.
SOFTWARE EQUIVALENCE CHECKING BASED ON UNIT TESTING AND SYMBOLIC EXECUTION
Sembolik yürütmeden elde edilen birim testlerin yazılım denkliğini kanıtlamada kullanılması
Yükleniyor
Tez No: 540461