Skip to content

LAA

Seminar

Verifying properties of well-founded linked lists

Qadeer, S (Microsoft Research)
Thursday 11 May 2006, 16:30-17:00

Seminar Room 1, Newton Institute

Presentation

[ppt ]

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧