Sousa, M., Şen, A., “LLVMVF: A generic approach for verification of multicore software”, Journal of Electronic Testing: Theory and Applications, 29, 5, 635-646, 2013

Yayın Tarihi: 
Salı, 1 Ocak, 2013
Yayın Indexi: 
Yayın Bölümü: 
Yayın Türü: