APA
Parosh Aziz Abdulla K. R. M. L., . (2011). Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
Chicago
Parosh Aziz Abdulla K Rustan M Leino, . 2011. Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
Harvard
Parosh Aziz Abdulla K. R. M. L., . (2011). Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
MLA
Parosh Aziz Abdulla K Rustan M Leino, . Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer. 2011.