Title :
Table of contents
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;
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on
Conference_Location :
Birmingham
DOI :
10.1109/TASE.2013.4
