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