Verification Tools for Transactional Programs
Book Chapter
(2015)
Author(s)
Adrian Cristal
Burcu Kulahcioglu Ozkan (Koç University)
Ernie Cohen
Gokcen Kestor
Ismail Kuru
Osman Unsal
Serdar Tasiran
Suha Orhun Mutluergil
Tayfun Elmas
Affiliation
External organisation
DOI related publication
https://doi.org/10.1007/978-3-319-14720-8_14
To reference this document use:
https://resolver.tudelft.nl/uuid:fd18352d-0b19-428b-a726-e25d71863412
More Info
expand_more
expand_more
Publication Year
2015
Language
English
Affiliation
External organisation
ISBN (print)
['9783319147192', '9783319147208']
No files available
Metadata only record. There are no files for this record.