home
>
book reviews
> Amer Saed
Google >
Amer Saed
author : Amer Saed
Short works
Formal Specification of an Aerospace System: The Attitude Monitor. 1995.
(In
Applications of Formal Methods
)