Gaya APA

Singh, N, K. (). Using event-b for critical device software systems . : .

Gaya MLA

Singh, Neeraj, Kumar. "Using event-b for critical device software systems". : , . Text.