An Overview of Anna, a Specification Language for Ada. Luckham, D C & von Henke, F W IEEE Software, 2(3):9--22, 1985.
bibtex   
@article{Luckham1985,
annote = {a},
author = {Luckham, D C and von Henke, F W},
journal = {IEEE Software},
keywords = {Ada Anna,Ordner-P},
mendeley-tags = {Ordner-P},
number = {3},
pages = {9--22},
title = {{An Overview of Anna, a Specification Language for Ada}},
volume = {2},
year = {1985}
}

Downloads: 0