APA
Cormac Flanagan B. K., . (2012). Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
Chicago
Cormac Flanagan Barbara König, . 2012. Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
Harvard
Cormac Flanagan B. K., . (2012). Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
MLA
Cormac Flanagan Barbara König, . Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer. 2012.