Richard Shore

According to our database, Richard Shore authored at least 2 papers in 1998.

Collaborative distances:

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

1998

A Use Case Interpretation of B AMN.

Richard Shore

Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998

Abstract State Machines: Designing Distributed Systems with State Machines and B.

Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998