D. Bjørner
No biography available.
Works (10)
Software engineering
The Vienna development method
Towards a Formal Description of Ada (Lecture Notes in Computer Science)
Perspectives of system informatics
Formal methods and hybrid real-time systems
Formal specification and software development
Logics of specification languages
Formal methods in programming and their applications
The Vienna development method
Towards a formal description of Ada