> Pamela Zave
author : Pamela Zave
Techniques for Partial Specification and Specification of Switching Systems. 1992.
6th Z User Workshop
Formal Specification of Telephone Features. 1994.
8th Z User Workshop
Multiparadigm Specification of an AT&T Switching System. 1995.
Applications of Formal Methods
An experiment in feature engineering. 2003.