VDM '91 Formal Software Development Methods

Overview of attention for book

Cover of 'VDM '91 Formal Software Development Methods'

Table of Contents

Altmetric Badge

Book Overview

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

wikipedia: 1 Wikipedia page

Citations

dimensions_citation: 6 Dimensions

Readers on

mendeley: 13 Mendeley

Summary Wikipedia Dimensions citations

So far, Altmetric has seen 1 Wikipedia article.

Ib Holm Sørensen

Cited by user Jpbowen on 11 Jun 2022

Ib Holm Sørensen (1949–2012) was a computer scientist who made contributions to the Z notation and B-Method.

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

Click here to find out how to access more activity.