Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    NASA Formal Methods Workshop, 1990


    Contributors:

    Publication date :

    1990


    Size :

    548 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    NASA Formal Methods Workshop, 1990

    Butler, Ricky W. | NTRS | 1990



    Fourth NASA Langley Formal Methods Workshop

    C. M. Holloway / K. J. C. Hayhurst | NTIS | 1997


    Second NASA Formal Methods Workshop 1992

    S. C. Johnson / C. M. Holloway / R. W. Butler | NTIS | 1992


    The Second NASA Formal Methods Workshop 1992

    Johnson, Sally C. / Holloway, C. Michael / Butler, Ricky W. | NTRS | 1992