D
D. Bjørner
1937
11 works on record
Works

Towards a formal description of Ada

The Vienna development method

Formal methods and hybrid real-time systems

Perspectives of system informatics

Logics of specification languages

Formal methods in programming and their applications

Baltic computer science

Towards a Formal Description of Ada (Lecture Notes in Computer Science)

Formal specification and software development

Software engineering
The theory of the finite state syntax directed transductions
The theory of the finite state syntax directed transductions