Mustafa Dursun, Özgür Kizilay. Sayısal Almaç Planlayıcı Bileşeninin Biçimsel Doğrulanması. In Tugkan Tuglular, Murat Komesli, editors, Proceedings of the 9th Turkish National Software Engineering Symposium, Yasar University, Izmir, Turkey, September, 9-11, 2015. Volume 1483 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]
@inproceedings{DursunK15,
title = {Sayısal Almaç Planlayıcı Bileşeninin Biçimsel Doğrulanması},
author = {Mustafa Dursun and Özgür Kizilay},
year = {2015},
url = {http://ceur-ws.org/Vol-1483/66_Bildiri.pdf},
researchr = {https://researchr.org/publication/DursunK15},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 9th Turkish National Software Engineering Symposium, Yasar University, Izmir, Turkey, September, 9-11, 2015},
editor = {Tugkan Tuglular and Murat Komesli},
volume = {1483},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}