Verifying Programs that Manipulate Pointers (Invited Talk)
- Møller, A. (Oplægsholder)
Aktivitet: Præsentationer, medlemskaber, ejerskab og andre aktiviteter › Foredrag og mundtlige bidrag
Aktivitet: Præsentationer, medlemskaber, ejerskab og andre aktiviteter › Foredrag og mundtlige bidrag