Credo methodology - Modeling and analyzing a peer-to-peer system in Credo Publication details Event: The 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS'09) Year: 2009 You are here: Home Publications Scientific lecture Credo methodology – Modeling and analyzing a peer-to-peer system in Credo