%0 Generic
%T Preuve de propriétés dynamiques en B ; Proving dynamic properties in B
%A Diagne, Fama
%A Evry, Institut national des télécommunications
%A Université de Sherbrooke (Québec, Canada)
%A Mammar, Amel
%A Frappier, Marc
%K Automatisation
%K Méthode B
%K Preuve
%K Dynamic properties
%K Systèmes d'information
%K Proof
%K B method
%K Propriétés dynamiques
%K Automation
%K Data-intensive applications
%D 2013-09-26
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation