Cita APA (7a ed.)
Neeraj Kumar Singh. Using Event-B for Critical Device Software Systems. Springer.
Cita estilo Chicago (17a ed.)
Neeraj Kumar Singh. Using Event-B for Critical Device Software Systems. Londres, Inglaterra: Springer.
Cita MLA (9a ed.)
Neeraj Kumar Singh. Using Event-B for Critical Device Software Systems. Springer.
Opozorilo: Ti citati niso vedno 100% točni.