DocumentCode :
799855
Title :
Twin track to boost formal checks
Volume :
1
Issue :
4
fYear :
2003
Firstpage :
46
Lastpage :
46
fLanguage :
English
Journal_Title :
Electronics Systems and Software
Publisher :
iet
ISSN :
1479-8336
Type :
jour
Filename :
1235352
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=799855
