@inproceedings{93d6e002afb34251b572d18538127f74,
title = "The Credo Methodology - (Extended Version)",
author = "Immo Grabe and Jaghoori, {Mohammad Mahdi} and Joachim Klein and Sascha Kl{\"u}ppelholz and Andries Stam and Christel Baier and Tobias Blechmann and Bernhard Aichernig and {de Boer}, {Frank S.} and Andreas Griesmayer",
year = "2010",
language = "English",
volume = "6286",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "41--69",
booktitle = "Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers",
address = "Germany",
note = "International Symposium on Formal Methods for Components and Objects ; Conference date: 04-11-2009 Through 06-11-2009",
}