Toggle Main Menu Toggle Search

ePrints

Formal Derivation of a Distributed Program in Event B

Lookup NU author(s): Dr Alexei Iliasov, Dr Elena Troubitsyna, Professor Alexander Romanovsky

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

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 Name: 13th International Conference on Formal Engineering Methods

Year of Conference: 2011

Pages: 420-436

: 0302-9743

:

Publisher: Springer

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642245589


Actions

    Link to this publication


Share