%O Report 
%F verimag-TR-2008-7
%A Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
%T Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties
%N 0
%I Verimag
%C Centre Équation, 38610 Gières
%U http://www-verimag.imag.fr/index.php?page=techrep-list
%8 August
%D 2008
%K Test and run-time verification