The following are the current most viewed articles on Wikipedia within Wikipedia's Z notation category. Think of it as a What's Hot list for Z notation. More info »

This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.

Rank	Topic	Wikipedia views
1	Zermelo–Fraenkel set theory	744
2	CICS	583
3	Z notation	457
4	Mondex	96
5	General set theory	25
6	Jean-Raymond Abrial	23
7	Z++	20
8	Community Z Tools	14
9	Z User Group	13
10	Object-Z	9

Parent categories

• Formal methods
• Formal specification languages
• Logic in computer science
• Mathematical notation
• Oxford University Computing Laboratory

Encyclopedia