Gaya APA

Biere, A., Parker, D. (2020). Tools and Algorithms for the Construction and Analysis of Systems (1st ed. 2020). : Springer International Publishing.

Gaya MLA

Biere, Armin., Parker, David. "Tools and Algorithms for the Construction and Analysis of Systems". 1st ed. 2020 : Springer International Publishing, 2020. Electronic Resource.