PDF Document

Source URL: www.vdmportal.org

• Dines Bjørner
• Fellows of the British Computer Society
• Cliff Jones
• RAISE
• Dines
• Ada
• Technical University of Denmark
• Software development process
• PL/I
• Computing
• Software engineering
• Formal methods