Formal Derivation of a Distributed Program in Event B

  1. Lookup NU author(s)
  2. Dr Alexei Iliasov
  3. Dr Elena Troubitsyna
  4. Professor Alexander Romanovsky
Author(s)Iliasov A, Laibinis L, Troubitsyna E, Romanovsky A
Editor(s)Qin, S., Qiu, Z.
Publication type Conference Proceedings (inc. Abstract)
Conference Name13th International Conference on Formal Engineering Methods (ICFEM)
Conference LocationDurham, UK
Year of Conference2011
Date26-28 October 2011
Volume6991
Pages420-436
Series TitleLecture Notes in Computer Science
ISBN9783642245589
Full text is available for this publication:
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-642-24559-6_29
DOI10.1007/978-3-642-24559-6_29
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item