DocumentCode
633553
Title
Table of contents
fYear
2013
fDate
1-3 July 2013
Abstract
The following topics are dealt with: theoretical aspects of software engineering; model checking; verification; logic and semantics; program analysis and testing; concurrency and real time; and reasoning.
Keywords
concurrency control; program diagnostics; program testing; real-time systems; reasoning about programs; concurrency; logic; model checking; program analysis; program testing; real time system; reasoning; semantics; software engineering; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on
Conference_Location
Birmingham
Type
conf
DOI
10.1109/TASE.2013.4
Filename
6597866
Link To Document