Tools and Algorithms for the Construction and Analysis of Systems

MLA

Legay, and Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2017.

APA

Legay, L., & Margaria, T. (2017). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg.

Chicago

Legay, and Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin Heidelberg, 2017.