Proceedings of Formal Aspects of Virtual Organisations 2008 (2008)

Author(s): Bryans J, Fitzgerald J

    Abstract: The abstracts and short papers presented at the Formal Aspects of Virtual Organisations workshop (FAVO 2008), held in conjunction with FM'08.

      • Date: May 2008
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 20
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: Formal Methods, Virtual Organisations


      Professor John Fitzgerald
      Director of the Centre for Software Reliability