Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Logical Proving in PVS


    Contributors:
    Aaron Dutle (author)

    Conference:

    28th International Conference on Automated Deduction ; 2021 ; Virtual, US


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Proving concorde

    Engineering Index Backfile | 1969


    European proving trial

    Mackenzie, D.K. / Newcomb, T.P. / Watton, B. | Engineering Index Backfile | 1966


    Proving their mettle

    Stagl, Jeff | IuD Bahn | 2002


    Proving the Concorde

    Emerald Group Publishing | 1971


    Proving Connecting Rods

    Emerald Group Publishing | 1936