Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 07:58:05 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||