Z notation (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Z notation" in English language version.

refsWebsite

Global rank English rank

629^th place

610^th place

low place

low place

2^nd place

2^nd place

274^th place

309^th place

4,798^th place

4,535^th place

low place

low place

1unicode-search.net

low place

low place

low place

low place

1web.archive.org

1^st place

1^st place

613^th place

456^th place

bcs.org

Bowen, Jonathan (July 2022). "The Z User Group: Thirty Years After" (PDF). FACS FACTS. No. 2022–2. BCS-FACS. pp. 50–56. Retrieved 3 August 2022.

doi.org

Bowen, Jonathan P. (2016). "The Z Notation: Whence the Cause and Whither the Course?" (PDF). Engineering Trustworthy Software Systems. Lecture Notes in Computer Science. Vol. 9506. Springer. pp. 103–151. doi:10.1007/978-3-319-29628-9_3. ISBN 978-3-319-29627-2.

iso.ch

"ISO/IEC 13568:2002". Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics (Zipped PDF). ISO. 1 July 2002. 196 pp.

iso.org

standards.iso.org

"ISO/IEC 13568:2002". Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics (Zipped PDF). ISO. 1 July 2002. 196 pp.

iso.org

"ISO/IEC 13568:2002/Cor.1:2007". Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics — Technical corrigendum 1 (PDF). ISO. 15 July 2007. 12 pp.

leidenuniv.nl

liacs.leidenuniv.nl

Hoogeboom, Hendrik Jan. "Formal Methods in Software Engineering" (PDF). The Netherland: University of Leiden. Retrieved 14 April 2017.

lsbu.ac.uk

researchopen.lsbu.ac.uk

Bowen, Jonathan P. (2016). "The Z Notation: Whence the Cause and Whither the Course?" (PDF). Engineering Trustworthy Software Systems. Lecture Notes in Computer Science. Vol. 9506. Springer. pp. 103–151. doi:10.1007/978-3-319-29628-9_3. ISBN 978-3-319-29627-2.

ox.ac.uk

web2.comlab.ox.ac.uk

"The Queen's Award for Technological Achievement 1992". Oxford University Computing Laboratory. Archived from the original on 2 December 2008. Retrieved 17 October 2021.

springer.com

link.springer.com

Hoare, Tony (2010). Greetings to Bertrand on the Occasion of his Sixtieth Birthday (PDF). Springer. p. 183. ISBN 978-3-642-15187-3. {{cite book}}: |work= ignored (help)

unicode-search.net

Korpela, Jukka K. "Unicode Explained: Internationalize Documents, Programs, and Web Sites". unicode-search.net. Retrieved 24 March 2020.

web.archive.org

"The Queen's Award for Technological Achievement 1992". Oxford University Computing Laboratory. Archived from the original on 2 December 2008. Retrieved 17 October 2021.