D. Bjørner

1937

• Software engineering
• Baltic computer science
• Formal methods and hybrid real-time systems
• Formal methods in programming and their applications
• Formal specification and software development
• Logics of specification languages
• Perspectives of system informatics
• The Vienna development method
• The Vienna development method
• Towards a formal description of Ada
• Towards a Formal Description of Ada (Lecture Notes in Computer Science)
• The theory of the finite state syntax directed transductions