home
>
book reviews
> Pamela Zave
Google >
Pamela Zave
author : Pamela Zave
Short works
Techniques for Partial Specification and Specification of Switching Systems. 1992.
(In
6th Z User Workshop
)
Formal Specification of Telephone Features. 1994.
(In
8th Z User Workshop
)
Multiparadigm Specification of an AT&T Switching System. 1995.
(In
Applications of Formal Methods
)
An experiment in feature engineering. 2003.
(In
Programming Methodology
)