Publication: Verification of concurrent programs via refinement proofs
Files
Program
Computer Science and Engineering
KU-Authors
KU Authors
Co-Authors
Authors
Advisor
Enea, Constantin
YÖK Thesis ID
Approval Date
Publication Date
Language
Type
Embargo Status
Journal Title
Journal ISSN
Volume Title
Alternative Title
Abstract
Source
Publisher
Koç University
Subject
Computer multitasking, Computer multitasking Software, Electronic data processing, Multi-core processors, Concurrent libraries, Koşut zamanlı yazılım kütüphaneleri, Programmers
Citation
Has Part
Source
Book Series Title
Edition
DOI
item.page.datauri
Link
Rights
restrictedAccess
Copyrights Note
© All Rights Reserved. Accessible to Koç University Affiliated Users Only!