(1995). Formal specification using Z: A modelling approach / Leonardo Bottaci and John Jones.
Style de citation Chicago (17e éd.)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
Style de citation MLA (9e éd.)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
Attention : ces citations peuvent ne pas être correctes à 100%.