Şen, A., Garg, V.K., “On Checking Whether a Predicate Definitely Holds”, Lecture Notes in Computer Science, 15-29, 2004.

Yayın Tarihi: 
Perşembe, 1 Ocak, 2004
Yayin Birimi: 
Mühendislik Fakültesi
Yayın Bölümü: 
Bilgisayar Mühendisliği
Yayın Türü: 
Makale