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