%0 Conference Proceedings
%F FalconeFM09-SVT
%A Falcone, Ylič
%A Fernandez, Jean-Claude
%A Mounier, Laurent
%T Enforcement Monitoring wrt. the Safety-Progress Classification of Properties
%B Proceedings of the 24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/Falcone-Fernandez-Mounier-09-a.pdf
%8 
%D 2009
%K Test and run-time verification