Skip to content

LAA

Seminar

Consequence generation, interpolants and invariant discovery

McMillan, K (Cadence Berkeley Labs)
Thursday 11 May 2006, 14:00-15:00

Seminar Room 1, Newton Institute

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧