DocumentCode :
725872
Title :
[Title page iii]
fYear :
2015
fDate :
18-18 May 2015
Abstract :
Presents the title page of the proceedings record.
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Methods in Software Engineering (FormaliSE), 2015 IEEE/ACM 3rd FME Workshop on
Conference_Location :
Florence, Italy
Type :
conf
DOI :
10.1109/FormaliSE.2015.2
Filename :
7166544
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=725872