Stéphane de Belloy

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
Using context descriptions and property definition patterns for software formal verification. ICST Workshops (2008)
Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
Un langage de contexte de preuve pour la validation formelle de modèles logiciels. LMO (2008)
Philippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel
Un langage de contexte de preuve pour la validation formelle de modèles logiciels. CAL (2008)