home
>
book reviews
> Lesley Semmens
Google >
Lesley Semmens
author : Lesley Semmens
Short works
Using Z to Rigorously Review a Specification of a Network Management System. 1995.
(In
ZUM '95
)
Rigorous Review Technique. 1999.
(In
Industrial-Strength Formal Methods in Practice
)