Concise Guide to Formal Methods
MLA
O'Regan, and Gerard O'Regan. Concise Guide to Formal Methods. Springer International Publishing, 2017.
APA
O'Regan, O., & O'Regan, G. (2017). Concise Guide to Formal Methods. Springer International Publishing.
Chicago
O'Regan, and Gerard O'Regan. Concise Guide to Formal Methods. : Springer International Publishing, 2017.
