Hoare, C. (2002). Assertions in Programming: From Scientific Theory to Engineering Practice. Springer.
Style de citation Chicago (17e éd.)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
Style de citation MLA (9e éd.)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
Attention : ces citations peuvent ne pas être correctes à 100%.