Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Epistemology, Software Engineering, and Formal Methods



    Conference:

    Workshop entitled "The role of computers in LARC R&D", Role of computers in research and development at Langley Research Center ; 1994 ; Hampton; VA



    Publication date :

    1994-01-01


    Size :

    26 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal methods in software engineering

    Hird, G.R. | Tema Archive | 1990




    Formal methods for life-critical software

    Butler, Ricky / Johnson, Sally | AIAA | 1993


    Formal Methods for Life-Critical Software

    Butler, R. / Johnson, S. / AIAA | British Library Conference Proceedings | 1993