Integrated Formal Methods

MLA

Polikarpova, and Steve Schneider. Integrated Formal Methods. Springer International Publishing, 2017.

APA

Polikarpova, P., & Schneider, S. (2017). Integrated Formal Methods. Springer International Publishing.

Chicago

Polikarpova, and Steve Schneider. Integrated Formal Methods. : Springer International Publishing, 2017.