APA Style

SHARYGINA, N., SANKARANARAYANAN, S. (2023). Tools and Algorithms for the Construction and Analysis of Systems . : Springer Nature.

MLA Style

SHARYGINA, Natasha., SANKARANARAYANAN, Sriram. "Tools and Algorithms for the Construction and Analysis of Systems". : Springer Nature, 2023. Text.