Publications

A program verifier

King, J. (Feb. 14, 1969)
PhD Thesis, Carnegie Mellon University
1 56 57 58