Gert J. Veltink

According to our database, Gert J. Veltink authored at least 5 papers between 1989 and 1993.

Collaborative distances:

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

1993

The PSF Toolkit.

Gert J. Veltink

Comput. Networks ISDN Syst., 1993

1991

XP, an Experiment in Modular Specification.

Gert J. Veltink

Proceedings of the Formal Description Techniques, 1991

A Proof Assistant for PSF.

Sjouke Mauw, Gert J. Veltink

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

An Introduction to PSFd.

Sjouke Mauw, Gert J. Veltink

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

A Process Specification Formalism Based on Static COLD.

Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink

Proceedings of the Algebraic Methods II: Theory, 1989