Liu. (2013). Theories of Programming and Formal Methods (1.). Springer Berlin Heidelberg.
Style de citation Chicago (17e éd.)Liu. Theories of Programming and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Style de citation MLA (8e éd.)Liu. Theories of Programming and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Attention : ces citations peuvent ne pas être correctes à 100%.