Guidelines for formal domain engineering in Event-B

Authors Atif Mashkoor
J.-P. Jacquot
Title Guidelines for formal domain engineering in Event-B
Booktitle Proceedings of the 2011 IEEE International Symposium on High-Assurance Systems Engineering
Type in proceedings
Publisher IEEE
Department PQE
ISBN 978-0-7695-4615-5
Month November
Year 2011
Pages 138-145
SCCH ID# 1156