Proceedings Second Workshop on Formal Aspects of Virtual Organisations
Software Engineering
2010-02-01 v1
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.
Cite
@article{arxiv.1001.5310,
title = {Proceedings Second Workshop on Formal Aspects of Virtual Organisations},
author = {Jeremy Bryans and John Fitzgerald},
journal= {arXiv preprint arXiv:1001.5310},
year = {2010}
}