DocumentCode
3678467
Title
[Title page i]
fYear
2015
Abstract
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
Type
conf
DOI
10.1109/TASE.2015.1
Filename
7307718
Link To Document