D. Bjørner

Logics of specification languages

2010

The Vienna development method

1978

Formal methods in programming and their applications

1993

Formal methods and hybrid real-time systems

2007

Baltic computer science

1991

Towards a formal description of Ada

1980

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

1980

Software engineering

2006

Perspectives of system informatics

2000

Formal specification and software development

1982

Domain engineering

2009