Software Engineering and Formal Methods

MLA

Ölveczky, and Gwen Salaün. Software Engineering and Formal Methods. Springer International Publishing, 2019.

APA

Ölveczky, Ã., & Salaün, G. (2019). Software Engineering and Formal Methods. Springer International Publishing.

Chicago

Ölveczky, and Gwen Salaün. Software Engineering and Formal Methods. : Springer International Publishing, 2019.