Authors: Susanto, KW Melham, T

Citation: Kw. Susanto et T. Melham, Formally analyzed dynamic synthesis of hardware, J SUPERCOMP, 19(1), 2001, pp. 7-22

Authors: Aitken, S Melham, T

Citation: S. Aitken et T. Melham, An analysis of errors in interactive proof attempts, INTERACT CO, 12(6), 2000, pp. 565-586