Prof Cliff B Jones
ACM Fellows
United Kingdom - 1995
citation
A longstanding originator and promoter of formal and rigorous methods for software design and construction, especially the Vienna Development Method (VDM).
citation
A longstanding originator and promoter of formal and rigorous methods for software design and construction, especially the Vienna Development Method (VDM).