Tools and Algorithms for the Construction and Analysis of Systems

MLA

Erika Ábrahám, Klaus Havelund, and Klaus Havelund. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2014.

APA

Erika Ábrahám, K. Havelund, & Havelund, K. (2014). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg.

Chicago

Erika Ábrahám, Klaus Havelund, and Klaus Havelund. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin Heidelberg, 2014.