Credo methodology - Modeling and analyzing a peer-to-peer system in Credo Publikasjonsdetaljer Arrangement: The 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS'09) År: 2009 Du er her: Hjem Publikasjoner Vitenskapelig foredrag Credo methodology – Modeling and analyzing a peer-to-peer system in Credo