DocumentCode
3587298
Title
[Title page i - Vol 1]
Volume
1
fYear
2014
Abstract
The following topics are dealt with: software testing; formal specification; program verification; software development; mobile computing; software architecture; software engineering.
Keywords
formal specification; mobile computing; program testing; program verification; software architecture; formal specification; mobile computing; program verification; software architecture; software development; software engineering; software testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference (APSEC), 2014 21st Asia-Pacific
ISSN
1530-1362
Print_ISBN
978-1-4799-7425-2
Type
conf
DOI
10.1109/APSEC.2014.1
Filename
7091275
Link To Document