Skip to content

LAA

Seminar

Enhancing software model checking with static program analysis

Gupta, A (NEC Labs America)
Tuesday 09 May 2006, 16:30-17:00

Seminar Room 1, Newton Institute

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧