W. H. F. J. Körver

On Potential Software Support for a Three-Phase Development Process for Parallel Large-Scale Applications

W. H. F. J. Körver, J. P. Geschiere, 1996, UK Parallel.

A discrete formalization of switch-level circuit behavior

W. H. F. J. Körver, Wilbert H. F. J. Körver, 1996, Integr..

A Practical Development Process for Parallel Large-Scale Applications and its Underlying Formal Framework

W. H. F. J. Körver, J. P. Geschiere, Wilbert H. F. J. Körver, 1996, Comput. J..

A Formal Framework for Defining and Developing Parallel Large-Scale Applications

W. H. F. J. Körver, J. P. Geschiere, Wilbert H. F. J. Körver, 1995, International Conference on Parallel Computing.