Singh. (2013). Using Event-B for Critical Device Software Systems (1.). Springer London.
Cita Chicago (17th ed.)Singh. Using Event-B for Critical Device Software Systems. 1. Springer London, 2013.
Cita MLA (8th ed.)Singh. Using Event-B for Critical Device Software Systems. 1. Springer London, 2013.
Atenció: Aquestes cites poden no estar 100% correctes.