TY  - DATA
AU  - David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe
TI  - ANNA A Language for Annotating Ada Programs
SN  - 9783540472025
PY  - 1987///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/3-540-17980-1
ER  -