Gaya APA
Singh, N, K.
(2013).
Using Event-B for Critical Device Software Systems
.
Springer London:
Springer.
Gaya MLA
Singh, Neeraj, Kumar.
"Using Event-B for Critical Device Software Systems".
Springer London:
Springer,
2013.
E-Book.