مرکز منطقه ای اطلاع رساني علوم و فناوري - 2nd Int´l. Workshop on Automated Specification and Verification of Web Systems

DocumentCode :

2405013

Title :

2nd Int´l. Workshop on Automated Specification and Verification of Web Systems - TOC

fYear :

2006

fDate :

19-19 Nov. 2006

Abstract :

Presents the table of contents of the proceedings.

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Automated Specification and Verification of Web Systems, 2006. WWV '06. 2nd International Workshop on

Conference_Location :

Phaphos

Print_ISBN :

0-7695-2826-0

Type :

conf

DOI :

10.1109/WWV.2006.3

Filename :

4155980

Link To Document :