EEMCS

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

EEMCS EPrints Service


Editor: Smith, G.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2007

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
Calamé, J.R. and Ioustinova, N. and van de Pol, J.C. (2007) Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005), 29 Nov 2005, Eindhoven, The Netherlands. pp. 25-48. Electronic Notes in Theoretical Computer Science 191. Elsevier. ISSN 1571-0661

This list was generated on Mon May 29 05:52:45 CEST 2017.