home
>
book reviews
> Peter Gorm Larsen
Google >
Peter Gorm Larsen
author : Peter Gorm Larsen
Short works
Developing a Security-Critical System using Formal and Conventional Methods. 1995.
(In
Applications of Formal Methods
)