DocumentCode :
3650834
Title :
FME workshop on Formal Methods in Software Engineering FormaliSE 2013
fYear :
2013
Publisher :
ieee
Conference_Titel :
Formal Methods in Software Engineering (FormaliSE), 2013 1st FME Workshop on
Type :
conf
DOI :
10.1109/FormaliSE.2013.6612269
Filename :
6612269
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3650834
