Formal Methods for Quantitative Aspects of Programming Languages

MLA

Aldini, Alessandro, et al. Formal Methods for Quantitative Aspects of Programming Languages. Springer Berlin Heidelberg, 2010.

APA

Aldini, A., Bernardo, M., Kanade, T., Pierro, A., Wiklicky, H., & Di Pierro, A. (2010). Formal Methods for Quantitative Aspects of Programming Languages. Springer Berlin Heidelberg.

Chicago

Aldini, Alessandro, Marco Bernardo, Takeo Kanade, Alessandra Pierro, Herbert Wiklicky, and Alessandra Di Pierro. Formal Methods for Quantitative Aspects of Programming Languages. : Springer Berlin Heidelberg, 2010.