J. Meredith Smith

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1972

1 EE J. Meredith Smith: Proof and validation of program correctness. Comput. J. 15(2): 130-131 (1972)