Generating Proof-Specific Strategies for PVS

P. Kellomäki

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

    Translated title of the contributionGenerating Proof-Specific Strategies for PVS
    Original languageEnglish
    Title of host publicationDesign and Application of Strategies/Tactics in Higher Order Logics. Proceedings of a workshop sponsored by th Naval Research Laboratory, the National Aeronautics and Space Administration, andtheNational
    EditorsM. Archer, B. Di Vito, C. In Munoz
    Pages91-102
    Number of pages12
    Publication statusPublished - 2003
    Publication typeB3 Article in conference proceedings

    Publication forum classification

    • No publication forum level

    Cite this