Ole N. Oest

Publication Activity (10 Years)

Years Active: 1980-2010
Publications (10 Years): 0

Publications

Dines Bjørner, Christian Gram, Ole N. Oest, Leif Rystrøm
Dansk Datamatik Center. History of Nordic Computing (2010)
Ole N. Oest
VDM From Research to Practice (Invited Paper). IFIP Congress (1986)
Geert B. Clemmensen, Ole N. Oest
Formal Specification and Development of an Ada Compiler - A VDM Case Study. ICSE (1984)
Dines Bjørner, Ole N. Oest
The DDC Ada Compiler Development Project. Towards a Formal Description of Ada (1980)