Ole N. Oest

According to our database, Ole N. Oest authored at least 4 papers between 1980 and 2010.

Collaborative distances:

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

2010

Dansk Datamatik Center.

Dines Bjørner, Christian Gram, Ole N. Oest, Leif Rystrøm

Proceedings of the History of Nordic Computing 3 - Third IFIP WG 9.7 Conference, 2010

1986

VDM From Research to Practice (Invited Paper).

Ole N. Oest

Proceedings of the Information Processing 86, 1986

1984

Formal Specification and Development of an Ada Compiler - A VDM Case Study.

Geert B. Clemmensen, Ole N. Oest

Proceedings of the Proceedings, 1984

1980

The DDC Ada Compiler Development Project.

Dines Bjørner, Ole N. Oest

Proceedings of the Towards a Formal Description of Ada, 1980