مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

637322

Title :

[Front cover]

fYear :

2013

fDate :

25-25 May 2013

Firstpage :

Lastpage :

Abstract :

Presents the front cover of this proceedings volume.

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Formal Methods in Software Engineering (FormaliSE), 2013 1st FME Workshop on

Conference_Location :

San Francisco, CA, USA

Type :

conf

DOI :

10.1109/FormaliSE.2013.6612267

Filename :

6612267

Link To Document :