Verifying Programs that Manipulate Pointers (Invited Talk)

    Aktivitet: Præsentationer, medlemskaber, ejerskab og andre aktiviteterForedrag og mundtlige bidrag

    Periode2004
    BegivenhedstitelVerifying Programs that Manipulate Pointers (Invited Talk)
    BegivenhedstypeKonference