Fingerprint
Dive into the research topics of 'The HOL/NuPRL proof translator a practical approach to formal interoperability'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The HOL/NuPRL proof translator a practical approach to formal interoperability
- Pavel Naumov
- , Mark Oliver Stehr
- , José Meseguer
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution