1
Baskı/Yayın Bilgisi 2008
İçindekiler: ...Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision...
Tam Metin Erişim
Elektronik Ekitap