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
Volume6991
Pages420-436
Series TitleLecture Notes in Computer Science
0302-9743
ISBN9783642245589
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherSpringer
Actions    Link to this publication
Library holdingsSearch Newcastle University Library for this item