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