Publication: Techniques for runtime monitoring and static verification of concurrent software
Files
Program
Computer Engineering
KU-Authors
KU Authors
Co-Authors
Authors
Elmas, Tayfun
Advisor
Taşıran, Serdar
Qadeer, Shaz
Publication Date
2010
Language
English
Type
Dissertation
Journal Title
Journal ISSN
Volume Title
Abstract
Description
xxvi, 388 l. : ill. 30 cm.
Source:
Publisher:
Koç University
Keywords:
Subject
Programming languages (Electronic computers), Java (Computer program language)