Verification of imperative BSP programs and application to verifying a distributed state-space algorithm

Jeudi 11 avril 2013, 14h30 : Frédéric Gava MCF (HDR) membre du Laboratoire d'Algorithmique, Complexité et Logique (LACL) de l'Université de Paris Est

Thème: