ZB 2005: Formal Specification and Development in Z and B - 2005

CZT: A Framework for Z Tools

Get your print report emailed

Enter your email and we can send you a printable report on this item. ( View sample )

Print report emailed

We'll send you a print report shortly at Unknown

Receive our monthly book update for this book

We will send you an email each month containing links to all the book updates you subscribe to. This will keep informed of all the activity around your favourite books.

Subscribed

You will now receive reports at unknown email address

Share this page with others

You can share this item across the most popular social networks.

Click on the button below to purchase CZT: A Framework for Z Tools

When you click on the button above, you will be redirected to springer.com where you can finish shopping.

ZB 2005: Formal Specification and Development in Z and B

Crossref Citations Summary

Crossref Citations by year

No online mentions found

Mendeley readership by country

This chapter has 22 Mendeley readers. Click here to see more details on the Mendeley website.

Country %
United Kingdom 3 14%
Australia 1 5%
Denmark 1 5%
Brazil 1 5%
Unknown 16 73%

Mendeley readership by discipline

Discipline %
Computer Science 21 95%
Engineering 1 5%

Mendeley readership by professional status

Professional status %
Student > Ph. D. Student 10 45%
Lecturer 4 18%
Researcher 3 14%
Lecturer > Senior Lecturer 1 5%
Student > Bachelor 1 5%
Other 3 14%

SpringerLink Download summary

This chapter has been downloaded a total of 282 times.