Falcone_STTT12

Y. Falcone, J.-C. Fernandez, L. Mounier. What can you Verify and Enforce at Runtime?. STTT: Software Tools for Technology Transfer, Special issue on Runtime Verification, Invited paper, (3):349-382, 2012.

Contact

Ylies Falcone

Référence BibTex

@article{Falcone_STTT12,
   Author = {Falcone, Y. and Fernandez, J.-C. and Mounier, L.},
   Title = {What can you Verify and Enforce at Runtime?},
   Journal = {STTT: Software Tools for Technology Transfer, Special issue on Runtime Verification},
   Number = {3},
   Pages = {349--382},
   Year = {2012}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)