مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

2398024

Title :

Author index

fYear :

1995

fDate :

5-8 April 1995

Firstpage :

172

Abstract :

The author index contains an entry for each author and coauthor included in the proceedings record.

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Industrial-Strength Formal Specification Techniques, 1995. Proceedings., Workshop on

Conference_Location :

Boca Raton, FL, USA

Print_ISBN :

0-8186-7005-3

Type :

conf

DOI :

10.1109/WIFT.1995.515488

Filename :

515488

Link To Document :