author : Peter Mataga

Short works

• 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 )
• Formal Methods Through Domain Engineering. 1999. (In Industrial-Strength Formal Methods in Practice )