Title of article :
Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008)
Author/Authors :
Patr?cia D.L. Machado، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2012
Pages :
1
From page :
423
To page :
423
Journal title :
Science of Computer Programming
Serial Year :
2012
Journal title :
Science of Computer Programming
Record number :
1080258
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1080258
بازگشت