DocumentCode :
318461
Title :
Formal Methods (Europe) Industrial Seminars
Author :
Denvir, Tim
Author_Institution :
Translimina Ltd., UK
fYear :
1997
fDate :
35573
Firstpage :
42370
Lastpage :
42371
fLanguage :
English
Publisher :
iet
Conference_Titel :
Industrial Use of Formal Methods (Digest No: 1977/171), IEE Colloquium on
Conference_Location :
IET
Type :
conf
Filename :
640800
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=318461
