Title :
Table of contents
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;
Conference_Titel :
Computational Science and Its Applications (ICCSA), 2014 14th International Conference on
Conference_Location :
Guimaraes
DOI :
10.1109/ICCSA.2014.4
