Engineering Trustworthy Software Systems

Overview of attention for book

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 citations on 2 Wikipedia pages.

Jean-Raymond Abrial (nacido en 1938) es un informático Francés e inventor de los métodos formales Z y B.

Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods.

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity.