author : Alastair R. Ruddle

Short works

• Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems. 1993. (In 7th Z User Workshop )