ANNA A Language for Annotating Ada Programs
by David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brueckner, Olaf Owe
No description available.
Computer scienceProgramming Languages, Compilers, InterpretersANNA (Computer program language)Ada (Computer program language)