Deductive Translation Validation for a Subset of Higher Order Logic

Cached

Download Links

by Guodong Li , Konrad Slind

Document Versions

Deductive Translation Validation for a Subset of Higher Order Logic –Guodong Li, Konrad Slind