Skip to main content

DTIC ADA364427: On Explicit Reflection in Theorem Proving and Formal Verification

Item Preview

SIMILAR ITEMS (based on metadata)