مرکز منطقه ای اطلاع رساني علوم و فناوري - Formal Methods in Computer Aided Design

DocumentCode :

2371920

Title :

Formal Methods in Computer Aided Design - Title page

fYear :

2007

fDate :

11-14 Nov. 2007

Abstract :

Presents the title page of the proceedings record.

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Formal Methods in Computer Aided Design, 2007. FMCAD '07

Conference_Location :

Austin, TX, USA

Print_ISBN :

978-0-7695-3023-9

Type :

conf

DOI :

10.1109/FAMCAD.2007.1

Filename :

4401969

Link To Document :