EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


11278 Preface
 Home Policy Brochure Browse Search User Area Contact Help

Romijn, J.M.T. and Smith, G. and van de Pol, J.C. (2007) Preface. In: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 29 Nov 2005, Eindhoven, The Netherlands. pp. 1-2. Electronic Notes in Theoretical Computer Science 191. Elsevier. ISSN 1571-0661

Full text available as:

PDF (downloaded from Science Direct)
 - Univ. of Twente only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
100 Kb

Official URL: http://dx.doi.org/10.1016/j.entcs.2007.09.001

Exported to Metis

Abstract

Editorial preface for doctoral symposium affiliated with the conference on integrated formal methods.

Item Type:Conference or Workshop Paper (Extended Abstract, Other)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-DSN: Dependable Systems and Networks
ID Code:11278
Status:Published
Deposited On:21 January 2008
Refereed:No
International:Yes
More Information:statisticsmetis

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item