Ole N. Oest

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Dansk Datamatik Center.
Proceedings of the History of Nordic Computing 3 - Third IFIP WG 9.7 Conference, 2010

1986
VDM From Research to Practice (Invited Paper).
Proceedings of the Information Processing 86, 1986

1984
Formal Specification and Development of an Ada Compiler - A VDM Case Study.
Proceedings of the Proceedings, 1984

1980
The DDC Ada Compiler Development Project.
Proceedings of the Towards a Formal Description of Ada, 1980


  Loading...