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]
Abstract is missing.