Skip to content

LAA

Seminar

Uniform + supercompilation = verification

Lisitsa, A (Liverpool)
Tuesday 09 May 2006, 12:00-12:30

Seminar Room 1, Newton Institute

Back to top ∧