Anna: A Language for Annotating Ada Programs

Name: Anna: A Language for Annotating Ada Programs
Author: David C. Luckham

No description available.

ANNA (Computer program language)Ada (Computer program language)Ada (Langage de programmation)AdaANNA (Langage de programmation)ANNA