Jonathan Hoare

According to our database, Jonathan Hoare authored at least 1 paper in 1996.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1996

Applying the B Technologies on CICS.

Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996