(1995). Formal specification using Z: A modelling approach / Leonardo Bottaci and John Jones.
Citace podle Chicago (17th ed.)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
Citace podle MLA (9th ed.)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..