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

Abstract

http://www.games.rwth-aachen.de/History/PastEvents/cambridge06.html

Back to top ∧