author : Paul Mukherjee

Short works

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