Using Event-B for Critical Device Software Systems

MLA

Singh, Neeraj Kumar, and Singh. Using Event-b for Critical Device Software Systems. Springer London, 2013.

APA

Singh, N. Kumar, & Singh, S. (2013). Using Event-B for Critical Device Software Systems. Springer London.

Chicago

Singh, Neeraj Kumar, and Singh. Using Event-B for Critical Device Software Systems. : Springer London, 2013.