|
by Luckham, David C., Henke, Friedrich W. von, Krieg-Brueckner, Bernd, Owe, Olaf
Published 1987
Table of Contents:
“...1. Basic Anna concepts -- 2. Lexical elements -- 3. Annotations of declarations and types -- 4...”Published 1987
Springer Berlin Heidelberg