Tools and Algorithms for the Construction and Analysis of Systems

MLA

Biere, and David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2020.

APA

Biere, B., & Parker, D. (2020). Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing.

Chicago

Biere, and David Parker. Tools and Algorithms for the Construction and Analysis of Systems. : Springer International Publishing, 2020.