Program Proving-Expression Languages

@inproceedings{Pritchard1977ProgramPL,
  title={Program Proving-Expression Languages},
  author={Paul Pritchard},
  booktitle={IFIP Congress},
  year={1977}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

Similar Papers

Loading similar papers…