Skip to content

LAA

Seminar

Verifying concurrent message-passing C programs with recursive calls

Touili, T (LIAFA - Universite Paris 7)

Thursday 06 July 2006, 11:30-12:00

Seminar Room 1, Newton Institute

Back to top ∧