Generating libraries of highly correct and safe functions by using proof-based formal methods İspat-tabanlı yazılım doğruluğu ve güvenilirliğini gösterme tekniklerini kullanarak güvenilir bir kütüphane oluşturmak
Yüksek Lisans
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol = Computer Engineering and Computer Science and Control