DocumentCode
177290
Title
Table of contents
fYear
2014
fDate
June 30 2014-July 3 2014
Abstract
The following topics are dealt with: software architecture; formal specification; formal verification; information retrieval; and Internet.
Keywords
Internet; formal specification; formal verification; information retrieval; software architecture; Internet; formal specification; formal verification; information retrieval; software architecture;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Science and Its Applications (ICCSA), 2014 14th International Conference on
Conference_Location
Guimaraes
Type
conf
DOI
10.1109/ICCSA.2014.4
Filename
6976645
Link To Document