Anna: A Language for Annotating Ada Programs: A Reference Manual (Lecture Notes in Computer Science)

Reference

by David C. Luckham

Paperback

details (USA).

ISBN: 978-0-387-17980-3

ISBN-10: 0-387-17980-1

Springer Verlag · 1987