Ganai M., Sen A. (Derleyen/Derleyenler), Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, CEUR Workshop Proceedings, 2014 .

Yayın Tarihi: 
Çarşamba, 1 Ocak, 2014
Yayın Bölümü: 
Yayın Türü: