Derek J. Andrews

According to our database, Derek J. Andrews authored at least 3 papers between 1988 and 1997.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

1997

A theory and practice of program development.

Derek J. Andrews

FACIT: Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-76162-4, 1997

1988

The Formal Definition of Modula-2 and Its Associated Interpreter.

Derek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers

Proceedings of the VDM '88, 1988

Report from the BSIPanel for the Standardisation of VDM (IST/5/50).

Derek J. Andrews

Proceedings of the VDM '88, 1988