@inproceedings{ad6045ad1bcb4033922fbc44d779e30b,
title = "Preface",
abstract = "Editorial preface for doctoral symposium affiliated with the conference on integrated formal methods.",
keywords = "EWI-11278, METIS-242014, IR-61971",
author = "Judi Romijn and J.M.T. Romijn and Graeme Smith",
note = "10.1016/j.entcs.2007.09.001 ; Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference ; Conference date: 29-11-2005 Through 29-11-2005",
year = "2007",
month = oct,
day = "6",
doi = "10.1016/j.entcs.2007.09.001",
language = "Undefined",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier",
number = "LNCS4549",
pages = "1--2",
editor = "J.M.T. Romijn and G. Smith and {van de Pol}, {Jan Cornelis}",
booktitle = "Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference",
}