The following topics are dealt with: software engineering; Android application; probabilistic model checking; formal verification; software reliability.
Publisher :
ieee
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on
