The Credo Methodology (Extended Version) Publikasjonsdetaljer Journal: Lecture Notes in Computer Science (LNCS), vol. 6286, p. 41–69, 2010 Internasjonale standardnumre: Trykt: 0302-9743 Elektronisk: 1611-3349 Lenker: FULLTEKST: http://dx.doi.org/10.1007/978-3-642-17071-3_3 SAMMENDRAG: http://www.springerlink.com/content/n18g72w506134760/fulltext.pdf OMTALE: http://www.springerlink.com/content/n18g72w506134760/fulltext.pdf Du er her: Hjem Publikasjoner Vitenskapelig artikkel The Credo Methodology (Extended Version)