Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
GK
Gokcen Kestor
1 records found
1
Authored
Verification Tools for Transactional Programs
Book chapter (2015) -
A. Cristal
,
Burcu Kulahcioglu Ozkan
,
Ernie Cohen
,
Gokcen Kestor
,
Ismail Kuru
,
O. Unsal
,
Serdar Tasiran
,
Suha Orhun Mutluergil
,
Tayfun Elmas
