Proceedings Second Workshop on Formal Aspects of Virtual Organisations
Jeremy Bryans,John Fitzgerald
DOI: https://doi.org/10.48550/arXiv.1001.5310
2010-01-29
Software Engineering
Abstract:FAVO2009 was the second workshop on Formal Aspects of Virtual Organisations. The purpose of the FAVO workshops is to encourage an active community of researchers and practitioners using formal methods in the research and development of Virtual Organisations.
What problem does this paper attempt to address?