APA aipamena

Benyagoub, S., Aït-Ameur, Y., & Schewe, K. (2020). Event-B-Supported Choreography-Defined Communicating Systems: Correctness and Completeness. Rigorous State-Based Methods.

Chicago Style aipamena

Benyagoub, Sarah, Yamine Aït-Ameur, and Klaus-Dieter Schewe. "Event-B-Supported Choreography-Defined Communicating Systems: Correctness and Completeness." Rigorous State-Based Methods 2020.

MLA aipamena

Benyagoub, Sarah, Yamine Aït-Ameur, and Klaus-Dieter Schewe. "Event-B-Supported Choreography-Defined Communicating Systems: Correctness and Completeness." Rigorous State-Based Methods 2020.