Formal Methods

MLA

Havelund, et al. Formal Methods. Springer International Publishing, 2018.

APA

Havelund, H., Bill Roscoe, B. Roscoe, Erik de Vink, E. de Vink, Jan Peleska, J. Peleska, de Vink, E., Peleska, J., & Roscoe, B. (2018). Formal Methods. Springer International Publishing.

Chicago

Havelund, Bill Roscoe, Erik de Vink, Jan Peleska, Erik de Vink, Jan Peleska, and Bill Roscoe. Formal Methods. : Springer International Publishing, 2018.