Formal Methods

MLA

Nielson, and Hanne Riis Nielson. Formal Methods. Springer International Publishing, 2019.

APA

Nielson, N., & Riis Nielson, H. (2019). Formal Methods. Springer International Publishing.

Chicago

Nielson, and Hanne Riis Nielson. Formal Methods. : Springer International Publishing, 2019.