Meta-Reasoning in Executable Temporal Logic

Howard Barringer, Michael Fisher, Dov M Gabbay, Anthony Hunter

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this