Bernd Krieg-Brueckner

Books that list Bernd Krieg-Brueckner among their authors but not as the lead author: co-written works, collections and compilations.

ANNA A Language for Annotating Ada ProgramsDavid C. Luckham

ANNA A Language for Annotating Ada Programs

David C. Luckham · 1987