author : Brian A. Wichmann

Short works

• Formal Specification of the STV Algorithm. 1995. (In Applications of Formal Methods )