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.C., Qiu, Z.Y.
Publication type Conference Proceedings (inc. Abstract)
Conference Name13th International Conference on Formal Engineering Methods
Conference LocationDurham, UK
Year of Conference2011
Date26-28 October 2011
Series TitleLecture Notes in Computer Science
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Actions    Link to this publication
Library holdingsSearch Newcastle University Library for this item