Formal Methods: Foundations and Applications

MLA

Márcio Cornélio, Bill Roscoe, and Bill Roscoe. Formal Methods: Foundations and Applications. Springer International Publishing, 2016.

APA

Márcio Cornélio, B. Roscoe, & Roscoe, B. (2016). Formal Methods: Foundations and Applications. Springer International Publishing.

Chicago

Márcio Cornélio, Bill Roscoe, and Bill Roscoe. Formal Methods: Foundations and Applications. : Springer International Publishing, 2016.