Verification Tools for Transactional Programs
Book Chapter
(2015)
Author(s)
Burcu Kulahcioglu Ozkan (Koç University)
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.