Deductive Translation Validation for a Subset of Higher Order Logic

by Guodong Li , Konrad Slind

Documents Related by Co-Citation

No related documents identified.