Automated Analysis of Large-scale Software Verification Results

---

Arş. Gör. Dr. SERKAN SEVEN

Tez Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: University Of London-Queen Mary And Westfield College, School Of Electronic Engineering And Computer Science, Software Engineering, Birleşik Krallık

Tez Danışmanı: Michael Tautschnig

Tezin Onay Tarihi: 2013