Geert B. Clemmensen

Publication Activity (10 Years)

Years Active: 1982-1984
Publications (10 Years): 0

Publications

Geert B. Clemmensen, Ole N. Oest
Formal Specification and Development of an Ada Compiler - A VDM Case Study. ICSE (1984)
Geert B. Clemmensen
A formal model of distributed Ada tasking. AdaTEC Conference on Ada (1982)