@inproceedings{65df49c8a9684799bcff3752817582a1,
title = "Transformation + Analysis = Verification",
author = "I.G.J. Raedts and M. Petkovic and A. Serebrenik and L. Somers",
year = "2007",
language = "English",
isbn = "978-3-89864-489-1",
pages = "253--264",
editor = "I. Schieferdecker and S. Goericke",
booktitle = "Business process engineering : Proceedings of the 10th International Conference on Quality Engineering in Software Technology (Conquest 2007) 26-28 September 2007, Potsdam, Germany",
publisher = "dpunkt.verlag",
note = "conference; Conquest 2007, Potsdam, Germany; 2007-09-26; 2007-09-28 ; Conference date: 26-09-2007 Through 28-09-2007",
}