The Credo Methodology (Extended Version)

Grabe, Immo; Jaghoori, Mohammad Mahdi; Klein, Joachim; Klüppelholz, Sascha; Stam, Andries; Baier, Christel; Blechmann, Tobias; Aichernig, Bernhard; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Steffen, Martin; Tschirner, Simon; Liang, Xuedong; Yi, Wang

Publikasjonsdetaljer

Tidsskrift: Lecture Notes in Computer Science (LNCS), vol. 6286, p. 41–69, 2010

Utgivere: Springer

Internasjonale standardnumre:
Trykt: 0302-9743
Elektronisk: 1611-3349

Lenker:
OMTALE: http://www.springerlink.com/content/n18g72w506134760/fulltext.pdf
FULLTEKST: http://dx.doi.org/10.1007/978-3-642-17071-3_3