Ole N. Oest

	1986
4		Ole N. Oest: VDM From Research to Practice (Invited Paper). IFIP Congress 1986: 527-534
	1984
3		G. B. Clemmensen, Ole N. Oest: Formal Specification and Development of an Ada Compiler - A VDM Case Study. ICSE 1984: 430-440
	1980
2		Dines Bjørner, Ole N. Oest: Towards a Formal Description of Ada Springer 1980
1		Dines Bjørner, Ole N. Oest: The DDC Ada Compiler Development Project. Towards a Formal Description of Ada 1980: 1-20

Coauthor Index

1	Dines Bjørner	[1] [2]
2	G. B. Clemmensen	[3]

Colors in the list of coauthors