Safeness of make-based incremental recompilation

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    OriginalsprogEngelsk
    TitelFME 2002 : formal methods - getting IT right. International Symposium of Formal Methods Europe. proceedings
    ForlagKluwer Academic Publishers
    Publikationsdato2002
    Sider126-145
    ISBN (Trykt)3540439285
    StatusUdgivet - 2002
    BegivenhedFormal Methods Europe - Copenhagen, Danmark
    Varighed: 22 jul. 200224 jul. 2002
    Konferencens nummer: 11

    Konference

    KonferenceFormal Methods Europe
    Nummer11
    LandDanmark
    ByCopenhagen
    Periode22/07/200224/07/2002

    Bibliografisk note

    Serie titel:Lecture notes in computer sciences
    Serie nummer:2391

    Citer dette